✦ LIBER ✦

Generalized quantifiers and well orderings

✍ Scribed by Slomson, A. B.

Publisher: Springer-Verlag
Year: 1972
Weight: 956 KB
Volume: 15
Category: Article
ISSN: 0003-9268
DOI: 10.1007/bf02019776

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Well rewrite orderings and well quasi-or

Well rewrite orderings and well quasi-orderings

✍ Pierre Lescanne 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 791 KB

Quantifiers determined by partial orderi

Quantifiers determined by partial orderings

✍ Michal Krynicki 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 494 KB

Constructive Well-Orderings

✍ Robin J. Grayson 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 564 KB

The constructions and proofs of this paper are to be understood as taking place in some kind of basic set theory or type theory, based on intuitionistic logic. \lie assunie a set N of natural numbers, satisfying HEYTING'S arithmetic (with full induction) ; we can form products of sets, and subsets o

Aristotelian syllogisms and generalized

Aristotelian syllogisms and generalized quantifiers

✍ Dag Westerståhl 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 542 KB

The paper elaborates two points: i) There is no principal opposition between predicate logic and adherence to subject-predicate form, ii) Aristotle's treatment of quantifiers fits wall into a modern study of generalized quantifiers,

Well-partial orderings and hierarchies

✍ D.H.J de Jongh; Rohit Parikh 📂 Article 📅 1977 🏛 Elsevier Science ⚖ 722 KB

Independent Set Readings and Generalized

Independent Set Readings and Generalized Quantifiers

✍ Livio Robaldo 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 657 KB