Satisfaction is not absolute

DOI10.1017/S1755020325100907MaRDI QIDQ6850420zbMATH OpenFDO

Authors Joel David Hamkins, Ruizhi Yang

Publication date 3 March 2026

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S1755020325100907

zbMATH Keywords

satisfaction classset theorytruth

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Models of arithmetic and set theory (03C62)

Cites work

• A MULTIVERSE PERSPECTIVE ON THE AXIOM OF CONSTRUCTIBILITY
• A natural model of the multiverse axioms
• Believing the axioms. I
• Believing the axioms. II
• Does Mathematics Need New Axioms?
• GAME APPROXIMATIONS OF SATISFACTION CLASSES MODELS
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 3467095 (Why is no real title available?)
• scientific article; zbMATH DE number 3528224 (Why is no real title available?)
• scientific article; zbMATH DE number 795569 (Why is no real title available?)
• Is the dream solution of the continuum hypothesis attainable?
• Model theory.
• Multiple universes of sets and indeterminate truth values
• Outline of a Theory of Truth
• Recursively saturated nonstandard models of arithmetic
• Reflecting on incompleteness
• Results on automorphisms of recursively saturated models of PA
• The set-theoretic multiverse
• The set-theoretic multiverse: a natural context for set theory
• The structure of models of Peano arithmetic
• Toward model theory through recursive saturation

This page was built for publication: Satisfaction is not absolute

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