✦ LIBER ✦

Well-partial orderings and hierarchies

✍ Scribed by D.H.J de Jongh; Rohit Parikh

Publisher: Elsevier Science
Year: 1977
Weight: 722 KB
Volume: 80
Category: Article
ISSN: 1385-7258
DOI: 10.1016/1385-7258(77)90067-1

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

Hierarchies of Partially Ordered Connect

Hierarchies of Partially Ordered Connectives and Quantifiers

✍ Michał Krynicki 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 381 KB

## Abstract Connections between partially ordered connectives and Henkin quantifiers are considered. It is proved that the logic with all partially ordered connectives and the logic with all Henkin quantifiers coincide. This implies that the hierarchy of partially ordered connectives is strongly hi

Associative Ordinal Functions, Well Part

Associative Ordinal Functions, Well Partial Orderings and a Problem of Skolem

✍ Diana Schmidt 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 395 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

New partial orderings and applications

✍ Enrico Fagiuoli; Franco Pellerey 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 532 KB

Full and fundamental partial orderings

✍ Ph. Dwinger 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 317 KB