The Hyperuniverse Project and Maximality / / edited by Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2018 |
Descrizione fisica | 1 online resource (XI, 265 p. 11 illus.) |
Disciplina | 511.3 |
Soggetto topico |
Mathematical logic
Mathematics—Philosophy Mathematical Logic and Foundations Philosophy of Mathematics |
ISBN | 3-319-62935-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910300120003321 |
Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Kurt Gödel Philosopher-Scientist / / Gabriella Crocco, Eva-Maria Engelen |
Autore | Audureau Éric |
Pubbl/distr/stampa | Aix-en-Provence, : Presses universitaires de Provence, 2021 |
Descrizione fisica | 1 online resource (525 p.) |
Altri autori (Persone) |
BernardJulien
CantùPaola CroccoGabriella DawsonJohn W EngelenEva-Maria FloydJuliet HaringSilvia Jr KanamoriAkihiro KnoblochEberhard LinkMontgomery MagalOran MertensAmélie MugnaiMassimo TernulloClaudio TieszenRichard van AttenMark WeingartnerPaul |
Collana | Épistémè |
Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical |
Soggetto non controllato | philosophy |
ISBN | 979-1-03-657685-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910502603303321 |
Audureau Éric
![]() |
||
Aix-en-Provence, : Presses universitaires de Provence, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Objects, structures, and logics : FilMat studies in the philosophy of mathematics / / Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo, editors |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] |
Descrizione fisica | 1 online resource (365 pages) |
Disciplina | 510.1 |
Collana | Boston studies in the philosophy and history of science |
Soggetto topico |
Mathematics - Philosophy
Life sciences Humanities Filosofia de la matemàtica |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-030-84706-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466417103316 |
Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Objects, structures, and logics : FilMat studies in the philosophy of mathematics / / Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo, editors |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] |
Descrizione fisica | 1 online resource (365 pages) |
Disciplina | 510.1 |
Collana | Boston studies in the philosophy and history of science |
Soggetto topico |
Mathematics - Philosophy
Life sciences Humanities Filosofia de la matemàtica |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-030-84706-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910552738103321 |
Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|