On interpretations of arithmetic and set theory

DOI10.1305/NDJFL/1193667707MaRDI QIDQ2425351zbMATHOpenAlexDBLPWikidataFDO

Authors Tin Lok Wong, Richard Kaye

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

zbMATH Keywords

Peano arithmeticinterpretationsfinite set theory

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Axiomatics of classical set theory and its fragments (03E30) Nonstandard models of arithmetic (03H15)

Recommendations

• On interpretations of bounded arithmetic and bounded set theory
• Arithmetical set theory
• \(\omega\)-models of finite set theory
• Constructive Ackermann's interpretation
• Interpretability of various extensions of arithmetic

Cited in

(36)

• On positive local combinatorial dividing-lines in model theory
• Every countable model of set theory embeds into its own constructible universe
• Ontological purity for formal proofs
• On interpretations of bounded arithmetic and bounded set theory
• The strength of extensionality. II: Weak weak set theories without infinity
• Indiscernibles and satisfaction classes in arithmetic
• Indivisible sets and well-founded orientations of the Rado graph
• scientific article; zbMATH DE number 4172966 (Why is no real title available?)
• Cichoń's maximum
• scientific article; zbMATH DE number 1263906 (Why is no real title available?)
• Equivalences for truth predicates
• Substandard models of finite set theory
• Emulating primality with multiset representations of natural numbers
• Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs
• Bases for structures and theories. I.
• Amphi-ZF : axioms for Conway games
• On the virtue of categoricity
• An Effective Conservation Result for Nonstandard Arithmetic
• A Groupoid of Isomorphic Data Transformations
• Constructive Ackermann's interpretation
• Bounded finite set theory
• On Morita equivalence and interpretability
• INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY
• Models of arithmetic and categories with finiteness conditions
• scientific article; zbMATH DE number 3051339 (Why is no real title available?)
• \(\omega\)-models of finite set theory
• Interpretability of various extensions of arithmetic
• A few more dissimilarities between second-order arithmetic and set theory
• Towards a generic view of primality through multiset decompositions of natural numbers
• Set theory with and without urelements and categories of interpretations
• 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
• On the concept of finitism
• Truth in generic cuts
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS
• SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT

This page was built for publication: On interpretations of arithmetic and set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2425351)