Models as universes

DOI10.1215/00294527-3716058MaRDI QIDQ509603zbMATH OpenOpenAlexFDO

Authors Brice Halimi

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

zbMATH Keywords

Boolosinformal rigourKreisellogical consequence of ZFClogical validitymodal logicmodels of set theoryrecursively saturated structurestruth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Set-theoretic model theory (03C55) Models of arithmetic and set theory (03C62) Logic on admissible sets (03C70)

Recommendations

• Models of the universe
• On the existence of universal models
• Models for a finite universe
• Models of reality and reality of models
• ULTRA-UNIVERSAL MODELS
• A model of nonsingular universe
• Models of the universe based on Jordan algebras
• Generic and nongeneric world models
• A class of models of the universe filled with multidimensional objects
• scientific article; zbMATH DE number 3895852

Cited in

(3)

• Models of the universe
• Big toy models. Representing physical systems as Chu spaces
• 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)