Coverart for item
The Resource The Hyperuniverse Project and Maximality, edited by Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo, (electronic resource)

The Hyperuniverse Project and Maximality, edited by Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo, (electronic resource)

Label
The Hyperuniverse Project and Maximality
Title
The Hyperuniverse Project and Maximality
Statement of responsibility
edited by Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo
Contributor
Editor
Subject
Language
eng
Summary
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.--
Member of
Assigning source
Provided by publisher
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Antos, Carolin
  • Friedman, Sy-David
  • Honzik, Radek
  • Ternullo, Claudio
Series statement
Springer eBooks
http://library.link/vocab/subjectName
  • Mathematics
  • Mathematics
  • Mathematical logic
Label
The Hyperuniverse Project and Maximality, edited by Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo, (electronic resource)
Link
https://eui.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-62935-3
Instantiates
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
u424149
Dimensions
unknown
Extent
1 online resource (XI, 265 pages)
Form of item
online
Governing access note
  • \
  • Use of this electronic resource may be governed by a license agreement which restricts use to the European University Institute community. Each user is responsible for limiting use to individual, non-commercial purposes, without systematically downloading, distributing, or retaining substantial portions of information, provided that all copyright and other proprietary notices contained on the materials are retained. The use of software, including scripts, agents, or robots, is generally prohibited and may result in the loss of access to these resources for the entire European University Institute community
Isbn
9783319629353
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-62935-3
Other physical details
11 illustrations
Specific material designation
remote
System control number
(OCoLC)1021202256
Label
The Hyperuniverse Project and Maximality, edited by Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo, (electronic resource)
Link
https://eui.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-62935-3
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
u424149
Dimensions
unknown
Extent
1 online resource (XI, 265 pages)
Form of item
online
Governing access note
  • \
  • Use of this electronic resource may be governed by a license agreement which restricts use to the European University Institute community. Each user is responsible for limiting use to individual, non-commercial purposes, without systematically downloading, distributing, or retaining substantial portions of information, provided that all copyright and other proprietary notices contained on the materials are retained. The use of software, including scripts, agents, or robots, is generally prohibited and may result in the loss of access to these resources for the entire European University Institute community
Isbn
9783319629353
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-62935-3
Other physical details
11 illustrations
Specific material designation
remote
System control number
(OCoLC)1021202256

Library Locations

    • Badia FiesolanaBorrow it
      Via dei Roccettini 9, San Domenico di Fiesole, 50014, IT
      43.803074 11.283055
Processing Feedback ...