Models as universes
DOI10.1215/00294527-3716058zbMATH Open1417.03236OpenAlexW2562895366MaRDI QIDQ509603
Publication date: 17 February 2017
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/584937d025691f284863063305b8f8a360814524
modal logictruthBoolosmodels of set theorylogical validityinformal rigourKreisellogical consequence of ZFCrecursively saturated structures
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Models of arithmetic and set theory (03C62) Set-theoretic model theory (03C55) Logic on admissible sets (03C70)
Related Items (2)
Recommendations
- Title not available (Why is that?) ๐ ๐
- A model of nonsingular universe ๐ ๐
- Generic and nongeneric world models ๐ ๐
- On the existence of universal models ๐ ๐
- Models for a finite universe ๐ ๐
- Models of the universe ๐ ๐
- Models of the universe based on Jordan algebras ๐ ๐
- Models of reality and reality of models ๐ ๐
- A class of models of the universe filled with multidimensional objects ๐ ๐
- ULTRA-UNIVERSAL MODELS ๐ ๐
This page was built for publication: Models as universes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q509603)