Infinity and truth / / editors, Chitat Chong, Qi Feng, National University of Singapore, Singapore, Theodore A. Slaman, W. Hugh Woodin, University of California, Berkeley, USA |
Pubbl/distr/stampa | New Jersey : , : World Scientific, , [2014] |
Descrizione fisica | 1 online resource (ix, 234 pages) : illustrations |
Disciplina | 510.1 |
Collana | Lecture notes series (Institute for Mathematical Sciences, National University of Singapore) |
Soggetto topico |
Logic, Symbolic and mathematical
Mathematics - Philosophy Set theory Axiomatic set theory |
ISBN | 981-4571-04-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | section I. Invited lectures -- section II. Special session. |
Record Nr. | UNINA-9910790975603321 |
New Jersey : , : World Scientific, , [2014] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Infinity and truth / / editors, Chitat Chong, Qi Feng, National University of Singapore, Singapore, Theodore A. Slaman, W. Hugh Woodin, University of California, Berkeley, USA |
Pubbl/distr/stampa | New Jersey : , : World Scientific, , [2014] |
Descrizione fisica | 1 online resource (ix, 234 pages) : illustrations |
Disciplina | 510.1 |
Collana | Lecture notes series (Institute for Mathematical Sciences, National University of Singapore) |
Soggetto topico |
Logic, Symbolic and mathematical
Mathematics - Philosophy Set theory Axiomatic set theory |
ISBN | 981-4571-04-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | section I. Invited lectures -- section II. Special session. |
Record Nr. | UNINA-9910808018803321 |
New Jersey : , : World Scientific, , [2014] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduction to axiomatic set theory / G. Takeuti, W. M. Zaring |
Autore | Takeuti, Gaisi |
Pubbl/distr/stampa | New York : Springer-Verlag, c1971 |
Descrizione fisica | vii, 250 p. ; 25 cm. |
Disciplina | 511.322 |
Altri autori (Persone) | Zaring, Wilson M. |
Collana | Graduate texts in mathematics, 0072-5285 ; 1 |
Soggetto topico | Axiomatic set theory |
ISBN | 0387900241 |
Classificazione |
AMS 03E30
AMS 04-01 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001011919707536 |
Takeuti, Gaisi | ||
New York : Springer-Verlag, c1971 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Models of ZF-set theory / Ulrich Felgner |
Autore | Felgner, Ulrich |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1971 |
Descrizione fisica | vi, 173 p. ; 26 cm |
Disciplina | 511.3 |
Collana | Lecture notes in mathematics, 0075-8434 ; 223 |
Soggetto topico | Axiomatic set theory |
ISBN | 3540055916 |
Classificazione | AMS 03E |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001152479707536 |
Felgner, Ulrich | ||
Berlin ; New York : Springer-Verlag, 1971 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Proper and improper forcing |
Autore | Shelah Saharon |
Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1998 |
Disciplina | 511.3 |
Collana | Perspectives in mathematical logic Proper and improper forcing |
Soggetto topico |
Forcing (Model theory)
Axiomatic set theory Mathematics Physical Sciences & Mathematics Mathematical Theory |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910482881803321 |
Shelah Saharon | ||
[Place of publication not identified], : Springer, 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proper and improper forcing |
Autore | Shelah Saharon |
Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1998 |
Disciplina | 511.3 |
Collana | Perspectives in mathematical logic Proper and improper forcing |
Soggetto topico |
Forcing (Model theory)
Axiomatic set theory Mathematics Physical Sciences & Mathematics Mathematical Theory |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996210103903316 |
Shelah Saharon | ||
[Place of publication not identified], : Springer, 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Proper forcing / Saharon Shelah |
Autore | Shelah, Saharon |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1982 |
Descrizione fisica | xxix, 496 p. ; 25 cm. |
Disciplina | 511.3 |
Collana | Lecture notes in mathematics, 0075-8434 ; 940 |
Soggetto topico |
Axiomatic set theory
Forcing |
ISBN | 3540115935 |
Classificazione | AMS 03C |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001269959707536 |
Shelah, Saharon | ||
Berlin : Springer-Verlag, 1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Set theory : an introduction to independence proofs / Kenneth Kunen |
Autore | Kunen, Kenneth |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1980 |
Descrizione fisica | xvi, 310 p ; 23 cm. |
Disciplina | 510.332 |
Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 102 |
Soggetto topico |
Axiomatic set theory
Set theory |
ISBN | 0444854010 |
Classificazione |
AMS 03E
AMS 03E30 AMS 04-XX QA248.K75 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001340289707536 |
Kunen, Kenneth | ||
Amsterdam : North-Holland, 1980 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Set theory and its logic [[electronic resource] /] / Willard Van Orman Quine |
Autore | Quine W. V (Willard Van Orman) |
Edizione | [Revised ed.] |
Pubbl/distr/stampa | Cambridge [Mass.], : Belknap Press |
Descrizione fisica | 1 online resource (361p.) |
Disciplina | 511.3 |
Soggetto topico |
Axiomatic set theory
Logic, Symbolic and mathematical Mathematics Physical Sciences & Mathematics Algebra |
Soggetto genere / forma | Electronic books. |
ISBN | 0-674-04242-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | INTRODUCTION PART ONE. THE ELEMENTS I. LOGIC Quantification and identity Virtual classes Virtual relations II. REAL CLASSES Reality, extensionality, and the individual The virtual amid the real Identity and substitution III. CLASSES OF CLASSES Unit classes Unions, intersections, descriptions Relations as classes of pairs Functions IV. NATURAL NUMBERS Numbers unconstrued Numbers construed Induction V. ITERATION AND ARITHMETIC Sequences and iterates The ancestral Sum, product, power PART TWO. HIGHER FORMS OF NUMBER VI. REAL NUMBERS Program. Numerical pairs Ratios and reals construed Existential needs. Operations and extensions VII. ORDER AND ORDINALS Transfinite induction Order Ordinal numbers Laws of ordinals The order of the ordinals VIII. TRANSFINITE RECURSION Transfinite recursion Laws of transfinite recursion Enumeration IX. CARDINAL NUMBERS Comparative size of classes The SchrOder-Bernstein theorem Infinite cardinal numbers X. THE AXIOM OF CHOICE Selections and selectors Further equivalents of the axiom The place of the axiom PART THREE. AXIOM SYSTEMS XI. RUSSELL'S THEORY OF TYPES The constructive part Classes and the axiom of reducibility The modern theory of types XII. GENERAL VARIABLES AND ZERMELO The theory of types with general variables Cumulative types and Zermelo Axioms of infinity and others XIII. STRATIFICATION AND ULTIMATE CLASSES "New foundations" Non-Cantorian classes. Induction again Ultimate classes added XIV. VON NEUMANN'S SYSTEM AND OTHERS The von Neumann-Bernays system Departures and comparisons Strength of systems SYNOPSIS OF FIVE AXIOM SYSTEMS LIST OF NUMBERED FORMULAS BIBLIOGRAPHICAL REFERENCES INDEX |
Record Nr. | UNINA-9910455377503321 |
Quine W. V (Willard Van Orman) | ||
Cambridge [Mass.], : Belknap Press | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Set theory and its logic [[electronic resource] /] / Willard Van Orman Quine |
Autore | Quine W. V (Willard Van Orman) |
Edizione | [Revised ed.] |
Pubbl/distr/stampa | Cambridge [Mass.], : Belknap Press |
Descrizione fisica | 1 online resource (361p.) |
Disciplina | 511.3 |
Soggetto topico |
Axiomatic set theory
Logic, Symbolic and mathematical Mathematics Physical Sciences & Mathematics Algebra |
Soggetto genere / forma | Electronic books. |
ISBN | 0-674-04242-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | INTRODUCTION PART ONE. THE ELEMENTS I. LOGIC Quantification and identity Virtual classes Virtual relations II. REAL CLASSES Reality, extensionality, and the individual The virtual amid the real Identity and substitution III. CLASSES OF CLASSES Unit classes Unions, intersections, descriptions Relations as classes of pairs Functions IV. NATURAL NUMBERS Numbers unconstrued Numbers construed Induction V. ITERATION AND ARITHMETIC Sequences and iterates The ancestral Sum, product, power PART TWO. HIGHER FORMS OF NUMBER VI. REAL NUMBERS Program. Numerical pairs Ratios and reals construed Existential needs. Operations and extensions VII. ORDER AND ORDINALS Transfinite induction Order Ordinal numbers Laws of ordinals The order of the ordinals VIII. TRANSFINITE RECURSION Transfinite recursion Laws of transfinite recursion Enumeration IX. CARDINAL NUMBERS Comparative size of classes The SchrOder-Bernstein theorem Infinite cardinal numbers X. THE AXIOM OF CHOICE Selections and selectors Further equivalents of the axiom The place of the axiom PART THREE. AXIOM SYSTEMS XI. RUSSELL'S THEORY OF TYPES The constructive part Classes and the axiom of reducibility The modern theory of types XII. GENERAL VARIABLES AND ZERMELO The theory of types with general variables Cumulative types and Zermelo Axioms of infinity and others XIII. STRATIFICATION AND ULTIMATE CLASSES "New foundations" Non-Cantorian classes. Induction again Ultimate classes added XIV. VON NEUMANN'S SYSTEM AND OTHERS The von Neumann-Bernays system Departures and comparisons Strength of systems SYNOPSIS OF FIVE AXIOM SYSTEMS LIST OF NUMBERED FORMULAS BIBLIOGRAPHICAL REFERENCES INDEX |
Record Nr. | UNINA-9910778174103321 |
Quine W. V (Willard Van Orman) | ||
Cambridge [Mass.], : Belknap Press | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|