On interpretations of arithmetic and set theory

DOI10.1305/NDJFL/1193667707zbMATH Open1137.03019DBLPjournals/ndjfl/KayeW07OpenAlexW1971643033WikidataQ63018434 ScholiaQ63018434MaRDI QIDQ2425351FDOQ2425351

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

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

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)

Cited In (36)

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

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)