179388

Springer, Dordrecht

2018

270 Pages

ISBN 978-3-319-62934-6

The hyperuniverse project and maximality

Edited by

Carolin Antos, Radek Honzik , Claudio Ternullo , Sy David Friedman

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.

Publication details

Full citation:

Antos, C. , Honzik, R. , Ternullo, C. , Friedman, S. (eds) (2018). The hyperuniverse project and maximality, Springer, Dordrecht.

Table of Contents

Class forcing in class theory

Carolin Antos

1-16

Open Access Link
Hyperclass forcing in Morse-Kelley class theory

Carolin Antos; Sy David Friedman ;

17-46

Open Access Link
Multiverse conceptions in set theory

Carolin Antos; Radek Honzik ; Claudio Ternullo ; Sy David Friedman ;

47-73

Open Access Link
On the set-generic multiverse

Friedman Sy David; Fuchino Sakaé; Sakai Hiroshi

109-124

Open Access Link
Definability of satisfaction in outer models

Honzik Radek; Friedman Sy David

135-160

Open Access Link
The search for new axioms in the hyperuniverse programme

Ternullo Claudio; Friedman Sy David

161-183

Open Access Link
Explaining maximality through the hyperuniverse programme

Ternullo Claudio; Friedman Sy David

185-204

Open Access Link
Gödel's Cantorianism

Ternullo Claudio

227-258

Open Access Link

This document is unfortunately not available for download at the moment.