Definability of satisfaction in outer models

DOI10.1017/JSL.2016.33MaRDI QIDQ2976379zbMATH OpenOpenAlexFDO

Authors Radek Honzík, Sy-David Friedman

Publication date 28 April 2017

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

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

zbMATH Keywords

admissible setsforcingouter models

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Recommendations

• Definability of satisfaction in outer models
• Outer models and genericity
• Pointwise definable models of set theory
• Satisfaction relations for proper classes: applications in logic and set theory
• Nonstandard definability

Cites work

• Set theory. An introduction to independence proofs

Cited in

(4)

• Evidence for Set-Theoretic Truth and the Hyperuniverse Programme
• Definability of satisfaction in outer models
• Universism and extensions of \(V\)
• Behavioural satisfaction and equivalence in concrete model categories

This page was built for publication: Definability of satisfaction in outer models

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