On interpretations of arithmetic and set theory
From MaRDI portal
Publication:2425351
DOI10.1305/ndjfl/1193667707zbMath1137.03019DBLPjournals/ndjfl/KayeW07OpenAlexW1971643033WikidataQ63018434 ScholiaQ63018434MaRDI QIDQ2425351
Publication date: 29 April 2008
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1193667707
First-order arithmetic and fragments (03F30) Axiomatics of classical set theory and its fragments (03E30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)
Related Items (24)
Constructive Ackermann's interpretation ⋮ Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory ⋮ LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS ⋮ Bounded finite set theory ⋮ SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT ⋮ ON MORITA EQUIVALENCE AND INTERPRETABILITY ⋮ Amphi-ZF : axioms for Conway games ⋮ Indivisible sets and well‐founded orientations of the Rado graph ⋮ Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs ⋮ Bases for structures and theories. I. ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Truth in generic cuts ⋮ The strength of extensionality. II: Weak weak set theories without infinity ⋮ Towards a generic view of primality through multiset decompositions of natural numbers ⋮ On positive local combinatorial dividing-lines in model theory ⋮ On the virtue of categoricity ⋮ EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE ⋮ On the concept of finitism ⋮ Substandard models of finite set theory ⋮ A Groupoid of Isomorphic Data Transformations ⋮ Emulating Primality with Multiset Representations of Natural Numbers ⋮ Cichoń's maximum ⋮ INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY ⋮ EQUIVALENCES FOR TRUTH PREDICATES
This page was built for publication: On interpretations of arithmetic and set theory
