Pathologies in satisfaction classes

DOI10.1016/J.APAL.2023.103387arXiv2303.18069OpenAlexW4387806798MaRDI QIDQ6179830

Athar Abdul-Quader, Unnamed Author

Publication date: 18 December 2023

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2303.18069

zbMATH Keywords

recursive saturationsatisfaction classesnonstandard models of Peano arithmeticarithmetical saturationdisjunctive correctness

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Models with special properties (saturated, rigid, etc.) (03C50) Properties of classes of models (03C52)

Cites Work

• Unnamed Item
• Nonstandard definability
• Full satisfaction classes, definability, and automorphisms
• Truth, disjunction, and induction
• Models with the ω-property
• Construction of Satisfaction Classes for Nonstandard Models
• TRUTH AND FEASIBLE REDUCIBILITY
• NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE
• MODELS OF POSITIVE TRUTH
• The two halves of disjunctive correctness

This page was built for publication: Pathologies in satisfaction classes