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.
Set theory, arithmetic, and foundations of mathematics : theorems, philosophies / / edited by Juliette Kennedy, Roman Kossak [[electronic resource]]
| Set theory, arithmetic, and foundations of mathematics : theorems, philosophies / / edited by Juliette Kennedy, Roman Kossak [[electronic resource]] |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xiii, 227 pages) : digital, PDF file(s) |
| Disciplina | 510 |
| Collana | Lecture notes in logic |
| Soggetto topico |
Set theory
Logic, Symbolic and mathematical Mathematics - Philosophy |
| ISBN |
1-107-22784-4
1-283-31675-7 1-139-13946-0 9786613316752 1-139-14524-X 1-139-14104-X 1-139-13791-3 0-511-91061-4 1-139-14192-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Historical remarks on Suslin's problem / Akihiro Kanamori -- The continuum hypothesis, the generic-multiverse of sets, and the [OMEGA] conjecture / W. Hugh Woodin -- [omega]-Models of finite set theory / Ali Enayat and James H. Schmerl and Albert Visser -- Tennenbaum's theorem for models of arithmetic / Richard Kaye -- Hierarchies of subsystems of weak arithmetic / Shahram Mohsenipour -- Diophantine correct open induction / Sidney Raffer -- Tennenbaum's theorem and recursive reducts / James H. Schmerl -- History of constructivism in the 20th century / A.S. Troelstra -- A very short history of ultrafinitism / Rose M. Cherubin and Mirco A. Mannucci -- Sue Toledo's notes of her conversations with Gödel in 1972-1975 / Sue Toledo -- Stanley Tennenbaum's Socrates / Curtis Franks -- . Tennenbaum's proof of the irrationality of [the square root of] 2́ / Jouko Väänänen. |
| Altri titoli varianti | Set Theory, Arithmetic, & Foundations of Mathematics |
| Record Nr. | UNINA-9910457169903321 |
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Set theory, arithmetic, and foundations of mathematics : theorems, philosophies / / edited by Juliette Kennedy, Roman Kossak [[electronic resource]]
| Set theory, arithmetic, and foundations of mathematics : theorems, philosophies / / edited by Juliette Kennedy, Roman Kossak [[electronic resource]] |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xiii, 227 pages) : digital, PDF file(s) |
| Disciplina | 510 |
| Collana | Lecture notes in logic |
| Soggetto topico |
Set theory
Logic, Symbolic and mathematical Mathematics - Philosophy |
| ISBN |
1-107-22784-4
1-283-31675-7 1-139-13946-0 9786613316752 1-139-14524-X 1-139-14104-X 1-139-13791-3 0-511-91061-4 1-139-14192-9 |
| Classificazione | MAT018000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Historical remarks on Suslin's problem / Akihiro Kanamori -- The continuum hypothesis, the generic-multiverse of sets, and the [OMEGA] conjecture / W. Hugh Woodin -- [omega]-Models of finite set theory / Ali Enayat and James H. Schmerl and Albert Visser -- Tennenbaum's theorem for models of arithmetic / Richard Kaye -- Hierarchies of subsystems of weak arithmetic / Shahram Mohsenipour -- Diophantine correct open induction / Sidney Raffer -- Tennenbaum's theorem and recursive reducts / James H. Schmerl -- History of constructivism in the 20th century / A.S. Troelstra -- A very short history of ultrafinitism / Rose M. Cherubin and Mirco A. Mannucci -- Sue Toledo's notes of her conversations with Gödel in 1972-1975 / Sue Toledo -- Stanley Tennenbaum's Socrates / Curtis Franks -- . Tennenbaum's proof of the irrationality of [the square root of] 2́ / Jouko Väänänen. |
| Altri titoli varianti | Set Theory, Arithmetic, & Foundations of Mathematics |
| Record Nr. | UNINA-9910781970703321 |
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||