Indiscernibles and satisfaction classes in arithmetic

DOI10.1007/S00153-024-00915-8MaRDI QIDQ6565571FDOQ6565571

Authors Ali Enayat 

Publication date 2 July 2024

Published in Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

Peano arithmeticsatisfaction classesindiscernibles

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Relative consistency and interpretations (03F25)

Recommendations

• ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC
• Definable sets and expansions of models of Peano arithmetic
• scientific article; zbMATH DE number 1222926
• A note on the variety of satisfaction classes
• Nonstandard characterizations of recursive saturation and resplendency

Cites work

• scientific article; zbMATH DE number 3679820 (Why is no real title available?)
• scientific article; zbMATH DE number 3732051 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1062120 (Why is no real title available?)
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• A certain class of models of Peano arithmetic
• Bounded Induction and Satisfaction Classes
• Inductive full satisfaction classes
• MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
• Models with the ω-property
• Notes on bounded induction for the compositional truth predicate
• On interpretations of arithmetic and set theory
• Recursively saturated models generated by indiscernibles
• Reflection algebras and conservation results for theories of iterated truth
• Set theory with a proper class of indiscernibles
• The structure of models of Peano arithmetic
• Truth, disjunction, and induction
• Variations on a Visserian theme

This page was built for publication: Indiscernibles and satisfaction classes in arithmetic

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