LEADER 03091nam  22005055  450 
001 9910300120003321
005 20200707003422.0
010   $a3-319-62935-2
024 7 $a10.1007/978-3-319-62935-3
035   $a(CKB)4100000001794741
035   $a(DE-He213)978-3-319-62935-3
035   $a(MiAaPQ)EBC5255556
035   $a(PPN)223957593
035   $a(EXLCZ)994100000001794741
100   $a20180130d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 14$aThe Hyperuniverse Project and Maximality /$fedited by Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Birkhäuser,$d2018.
215   $a1 online resource (XI, 265 p. 11 illus.) 
311   $a3-319-62934-4 
320   $aIncludes bibliographical references at the end of each chapters.
327   $aClass forcing in Class Theory -- Hyperclass Forcing in Morse-Kelley Class Theory -- Multiverse conceptions in set theory -- Evidence for set-theoretic truth and the Hyperuniverse Programme -- On the set-generic multiverse -- Mathematical Logic Quarterly -- Definability of satisfaction in outer models -- The search for new axioms in the Hyperuniverse Programme, in Philosophy of Mathematics: objectivity, cognition and proof -- Explaining maximality through the Hyperuniverse Programme.
330   $aThis collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC. The contributions give an overview of the program, illustrate its mathematical content and implications, and also discuss its philosophical assumptions. It will thus be of wide appeal among mathematicians and philosophers with an interest in the foundations of set theory. The Hyperuniverse Project was supported by the John Templeton Foundation from January 2013 until September 2015.
606   $aLogic, Symbolic and mathematical
606   $aMathematics?Philosophy
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
606   $aPhilosophy of Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/E34020
615  0$aLogic, Symbolic and mathematical.
615  0$aMathematics?Philosophy.
615 14$aMathematical Logic and Foundations.
615 24$aPhilosophy of Mathematics.
676   $a511.3
702   $aAntos$b Carolin$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aFriedman$b Sy-David$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHonzik$b Radek$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aTernullo$b Claudio$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910300120003321
996   $aHyperuniverse Project and Maximality$91563800
997   $aUNINA