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.
A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz
| A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz |
| Autore | Manin, Yuri I. |
| Pubbl/distr/stampa | New York, : Springer, 1977 |
| Descrizione fisica | xiii, 288 p. : ill. ; 24 cm |
| Soggetto non controllato |
Boundary Element Methods
Computability Forcing Formal languages Forms Functions Language Logic Mathematical logic Mathematics Presentation theory of complexity |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0268046 |
Manin, Yuri I.
|
||
| New York, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz
| A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz |
| Autore | Manin, Yuri I. |
| Pubbl/distr/stampa | New York, : Springer, 1977 |
| Descrizione fisica | xiii, 288 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 03E50 - Continuum hypothesis and Martin's axiom [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] 03G12 - Quantum logic [MSC 2020] 11Uxx - Connections of number theory and logic [MSC 2020] 20A15 - Applications of logic to group theory [MSC 2020] |
| Soggetto non controllato |
Boundary Element Methods
Computability Forcing Formal languages Forms Functions Language Logic Mathematical logic Mathematics Presentations Theory of complexity |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. This book is above all addressed to mathematicians. It is intended to be a textbook of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries of the last ten or fifteen years. These include: the independence of the continuum hypothe sis, the Diophantine nature of enumerable sets, the impossibility of finding an algorithmic solution for one or two old problems. All the necessary preliminary material, including predicate logic and the fundamentals of recursive function theory, is presented systematically and with complete proofs. We only assume that the reader is familiar with "naive" set theoretic arguments. In this book mathematical logic is presented both as a part of mathe matics and as the result of its self-perception. Thus, the substance of the book consists of difficult proofs of subtle theorems, and the spirit of the book consists of attempts to explain what these theorems say about the mathematical way of thought. Foundational problems are for the most part passed over in silence. Most likely, logic is capable of justifying mathematics to no greater extent than biology is capable of justifying life. 2. The first two chapters are devoted to predicate logic. The presenta tion here is fairly standard, except that semantics occupies a very domi nant position, truth is introduced before deducibility, and models of speech in formal languages precede the systematic study of syntax. |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00268046 |
|
Manin, Yuri I.
|
||
| New York, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algebra and Logic : Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley
| Algebra and Logic : Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley |
| Pubbl/distr/stampa | Berlin, : Springer, 1975 |
| Descrizione fisica | viii, 307 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Algebra
Commutative algebra Computability theory Differential equations Forcing Groups Mathematical logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0256295 |
| Berlin, : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algebra and Logic : Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley
| Algebra and Logic : Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley |
| Pubbl/distr/stampa | Berlin, : Springer, 1975 |
| Descrizione fisica | viii, 307 p. : ill. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Algebra
Commutative Algebra Computability Theory Differential Equations Forcing Groups Mathematical logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00256295 |
| Berlin, : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Axiomatic Set Theory / G. Takeuti, W. M. Zaring
| Axiomatic Set Theory / G. Takeuti, W. M. Zaring |
| Autore | Takeuti, Gaisi |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1973 |
| Descrizione fisica | 238 p. : ill. ; 24 cm |
| Altri autori (Persone) | Zaring, Wilson M. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] |
| Soggetto non controllato |
Forcing
Proofs Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0267740 |
|
Takeuti, Gaisi
|
||
| New York, : Springer-Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Axiomatic Set Theory / G. Takeuti, W. M. Zaring
| Axiomatic Set Theory / G. Takeuti, W. M. Zaring |
| Autore | Takeuti, Gaisi |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1973 |
| Descrizione fisica | 238 p. : ill. ; 24 cm |
| Altri autori (Persone) | Zaring, Wilson M. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] |
| Soggetto non controllato |
Forcing
Proofs Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | This text deals with three basic techniques for constructing models of Zermelo-Fraenkel set theory: relative constructibility, Cohen's forcing, and Scott-Solovay's method of Boolean valued models. Our main concern will be the development of a unified theory that encompasses these techniques in one comprehensive framework. Consequently we will focus on certain funda mental and intrinsic relations between these methods of model construction. Extensive applications will not be treated here. This text is a continuation of our book, "I ntroduction to Axiomatic Set Theory," Springer-Verlag, 1971; indeed the two texts were originally planned as a single volume. The content of this volume is essentially that of a course taught by the first author at the University of Illinois in the spring of 1969. From the first author's lectures, a first draft was prepared by Klaus Gloede with the assistance of Donald Pelletier and the second author. This draft was then rcvised by the first author assisted by Hisao Tanaka. The introductory material was prepared by the second author who was also responsible for the general style of exposition throughout the text. We have inc1uded in the introductory material al1 the results from Boolean algebra and topology that we need. When notation from our first volume is introduced, it is accompanied with a deflnition, usually in a footnote. Consequently a reader who is familiar with elementary set theory will find this text quite self-contained. |
| Record Nr. | UNICAMPANIA-VAN00267740 |
|
Takeuti, Gaisi
|
||
| New York, : Springer-Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cardinal invariants on Boolean algebras / J. Donald Monk
| Cardinal invariants on Boolean algebras / J. Donald Monk |
| Autore | Monk, J. Donald |
| Pubbl/distr/stampa | Basel, : Birkhäuser, : Springer, 1996 |
| Descrizione fisica | ix, 301 p. ; 24 cm |
| Soggetto topico |
03E10 - Ordinal and cardinal numbers [MSC 2020]
03G05 - Logical aspects of Boolean algebras [MSC 2020] |
| Soggetto non controllato |
Boolean Algebra
Cardinal Functions Cellularity Fedorchukís theorem Forcing Logic Proofs Set Theory Ultraproducts |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00295515 |
|
Monk, J. Donald
|
||
| Basel, : Birkhäuser, : Springer, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cardinal invariants on Boolean algebras / J. Donald Monk
| Cardinal invariants on Boolean algebras / J. Donald Monk |
| Autore | Monk, J. Donald |
| Pubbl/distr/stampa | Basel, : Birkhäuser, 1996 |
| Descrizione fisica | ix, 301 p. ; 24 cm |
| Soggetto topico |
03E10 - Ordinal and cardinal numbers [MSC 2020]
03G05 - Logical aspects of Boolean algebras [MSC 2020] |
| Soggetto non controllato |
Boolean Algebra
Cardinal Functions Cellularity Fedorchukís theorem Forcing Logic Proofs Set Theory Ultraproducts |
| ISBN | 37-643-5402-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00053190 |
|
Monk, J. Donald
|
||
| Basel, : Birkhäuser, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Classical Descriptive Set Theory / Alexander S. Kechris
| Classical Descriptive Set Theory / Alexander S. Kechris |
| Autore | Kechris, Alexander S. |
| Pubbl/distr/stampa | New York [etc.], : Springer, 1995 |
| Descrizione fisica | xviii, 402 p. : ill. ; 24 cm |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
28A05 - Classes of sets (Borel fields, $\sigma$-rings, etc.), measurable sets, Suslin sets, analytic sets [MSC 2020] 54H05 - Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) [MSC 2020] |
| Soggetto non controllato |
Addition
Baire Spaces Cardinals Compact Spaces Forcing Homeomorphisms Meager set Metrizable Model theory Set Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00294896 |
|
Kechris, Alexander S.
|
||
| New York [etc.], : Springer, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Classical descriptive set theory / Alexander S. Kechris
| Classical descriptive set theory / Alexander S. Kechris |
| Autore | Kechris, Alexander S. |
| Pubbl/distr/stampa | New York [etc.], : Springer, 1995 |
| Descrizione fisica | xviii, 402 p. : ill. ; 24 cm |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
28A05 - Classes of sets (Borel fields, $\sigma$-rings, etc.), measurable sets, Suslin sets, analytic sets [MSC 2020] 54H05 - Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) [MSC 2020] |
| Soggetto non controllato |
Addition
Baire Spaces Cardinals Compact Spaces Forcing Homeomorphisms Meager set Metrizable Model theory Set Set Theory |
| ISBN |
03-87943-74-9
978-14-612-8692-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00055655 |
|
Kechris, Alexander S.
|
||
| New York [etc.], : Springer, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
