Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
The Hyperuniverse Project and Maximality / / edited by Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Kurt Gödel Philosopher-Scientist / / Gabriella Crocco, Eva-Maria Engelen
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Objects, structures, and logics : FilMat studies in the philosophy of mathematics / / Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo, editors
| 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] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Objects, structures, and logics : FilMat studies in the philosophy of mathematics / / Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo, editors
| 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] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||