✦ LIBER ✦

L(aa)-Elementary Types of Well-Orderings

✍ Scribed by Detlef Seese; Martin Weese

Publisher: John Wiley and Sons
Year: 1982
Tongue: English
Weight: 474 KB
Volume: 28
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19820283310

No coin nor oath required. For personal study only.

✦ Synopsis

L(aa)-ELEMEXTARY TYPES O F WELL-ORDERINGS by DETLEF SEESE and MARTIN WEESE in Berlin (G.D.R.)l)

The main results of this paper were proved when the first author was a guest of CSAV in Prague.

📜 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

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

Orderings of Types of Countable Arithmet

Orderings of Types of Countable Arithmetic

✍ K. Potthoff 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 659 KB

Intuitionistically provable recursive we

Intuitionistically provable recursive well-orderings

✍ Harvey M. Friedman; Andre Scedrov 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 382 KB

Well-partial orderings and hierarchies

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

Gap Embedding for Well-Quasi-Orderings

✍ Nachum Dershowitz; Iddo Tzameret 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 683 KB