國立虎尾科技大學 |

The Hyperuniverse Project and Maximality

Record Type:	Language materials, printed : Monograph/item
Title/Author:	The Hyperuniverse Project and Maximality/ edited by Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo.
other author:	Antos, Carolin.
Description:	XI, 265 p. 11 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Mathematical logic. -
Online resource:	https://doi.org/10.1007/978-3-319-62935-3
ISBN:	9783319629353

The Hyperuniverse Project and Maximality
The Hyperuniverse Project and Maximality[electronic resource] /edited by Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo. - 1st ed. 2018. - XI, 265 p. 11 illus.online resource.

Class 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.

This 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.

ISBN: 9783319629353

Standard No.: 10.1007/978-3-319-62935-3doiSubjects--Topical Terms:

810627
Mathematical logic.

LC Class. No.: QA8.9-10.3

Dewey Class. No.: 511.3

The Hyperuniverse Project and Maximality
LDR:02504nam a22004095i 4500 001 995823
003 DE-He213
005 20200707003422.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783319629353 $9 978-3-319-62935-3
024 7 $a 10.1007/978-3-319-62935-3 $2 doi
035 $a 978-3-319-62935-3
050 4 $a QA8.9-10.3
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBC $2 thema
072 7 $a PBCD $2 thema
082 0 4 $a 511.3 $2 23
245 1 4 $a The Hyperuniverse Project and Maximality $h [electronic resource] / $c edited by Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo.
250 $a 1st ed. 2018.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Birkhäuser, $c 2018.
300 $a XI, 265 p. 11 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a Class 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.
520 $a This 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.
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Mathematics—Philosophy. $3 1254283
650 1 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Philosophy of Mathematics. $3 1108410
700 1 $a Antos, Carolin. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1286904
700 1 $a Friedman, Sy-David. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1286905
700 1 $a Honzik, Radek. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1286906
700 1 $a Ternullo, Claudio. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1286907
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319629346
776 0 8 $i Printed edition: $z 9783319629360
776 0 8 $i Printed edition: $z 9783319874326
856 4 0 $u https://doi.org/10.1007/978-3-319-62935-3
912 $a ZDB-2-SMA
912 $a ZDB-2-SXMS
950 $a Mathematics and Statistics (SpringerNature-11649)
950 $a Mathematics and Statistics (R0) (SpringerNature-43713)