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. P. Morse's set theory and analysis / / Robert A. Alps, editor
| A. P. Morse's set theory and analysis / / Robert A. Alps, editor |
| Pubbl/distr/stampa | Cham, Switzerland : , : Birkhäuser, , [2022] |
| Descrizione fisica | 1 online resource (523 pages) |
| Disciplina | 511.322 |
| Soggetto topico |
Set theory
Logic, Symbolic and mathematical Measure theory Anàlisi matemàtica Teoria de conjunts |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031053559
9783031053542 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996485659203316 |
| Cham, Switzerland : , : Birkhäuser, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A. P. Morse's set theory and analysis / / Robert A. Alps, editor
| A. P. Morse's set theory and analysis / / Robert A. Alps, editor |
| Pubbl/distr/stampa | Cham, Switzerland : , : Birkhäuser, , [2022] |
| Descrizione fisica | 1 online resource (523 pages) |
| Disciplina | 511.322 |
| Soggetto topico |
Set theory
Logic, Symbolic and mathematical Measure theory Anàlisi matemàtica Teoria de conjunts |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031053559
9783031053542 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910590076403321 |
| Cham, Switzerland : , : Birkhäuser, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithms for Constructing Computably Enumerable Sets / / by Kenneth J. Supowit
| Algorithms for Constructing Computably Enumerable Sets / / by Kenneth J. Supowit |
| Autore | Supowit Kenneth J. |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2023 |
| Descrizione fisica | 1 online resource (191 pages) |
| Disciplina | 004.0151 |
| Collana | Computer Science Foundations and Applied Logic |
| Soggetto topico |
Computer science
Computable functions Recursion theory Set theory Computer science—Mathematics Theory of Computation Computability and Recursion Theory Set Theory Theory and Algorithms for Application Domains Mathematics of Computing Matemàtica discreta Teoria de conjunts Algorismes |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031269042
9783031269035 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Index of notation and terms -- 2 Set theory, requirements, witnesses -- 3 What’s new in this chapter? -- 4 Priorities (a splitting theorem) -- 5 Reductions, comparability (Kleene-Post Theorem) -- 6 Finite injury (Friedberg-Muchnik Theorem) -- 7 The Permanence Lemma -- 8 Permitting (Friedberg-Muchnik below C Theorem) -- 9 Length of agreement (Sacks Splitting Theorem) -- 10 Introduction to infinite injury -- 11 A tree of guesses (Weak Thickness Lemma) -- 12 An infinitely branching tree (Thickness Lemma) -- 13 True stages (another proof of the Thickness Lemma) -- 14 Joint custody (Minimal Pair Theorem) -- 15 Witness lists (Density Theorem) -- 16 The theme of this book: delaying tactics -- Appendix A: a pairing function -- Bibliograph -- Solutions to selected exercises. |
| Record Nr. | UNINA-9910726280003321 |
Supowit Kenneth J.
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Circle-Line Study of Mathematical Analysis [[electronic resource] /] / by Simone Secchi
| A Circle-Line Study of Mathematical Analysis [[electronic resource] /] / by Simone Secchi |
| Autore | Secchi Simone |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (XIX, 469 p. 1 illus.) |
| Disciplina | 515 |
| Collana | La Matematica per il 3+2 |
| Soggetto topico |
Mathematical analysis
Analysis Anàlisi matemàtica Teoria de conjunts |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-19738-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I First half of the journey -- 1 An appetizer of propositional logic -- 2 Sets, relations, functions in a naïve way -- 3 Numbers -- 4 Elementary cardinality -- 5 Distance, topology and sequences on the set of real numbers -- 6 Series -- 7 Limits: from sequences to functions of a real variable -- 8 Continuous functions of a real variable -- 9 Derivatives and differentiability- 10 Riemann’s integral -- 11 Elementary functions -- Part II Second half of the journey -- 12 Return to Set Theory -- 13 Neighbors again: topological spaces -- 14 Differentiating again: linearization in normed spaces -- 15 A functional approach to Lebesgue integration theory -- 16 Measures before integrals. |
| Record Nr. | UNISA-996518463203316 |
|
Secchi Simone
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Concepts of Fuzzy Mathematics / / by Manoranjan Kumar Singh
| Concepts of Fuzzy Mathematics / / by Manoranjan Kumar Singh |
| Autore | Singh Manoranjan Kumar |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (680 pages) |
| Disciplina | 511.313 |
| Collana | Forum for Interdisciplinary Mathematics |
| Soggetto topico |
Set theory
Set Theory Conjunts borrosos Teoria de conjunts |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 981-9732-70-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Fundamental of Crisp Set Theory -- 2 Fundamental Concepts of Fuzzy Sets -- 3 Generalization of Fuzzy Sets -- 4 Decomposition of a Fuzzy Set and Extension Principle -- 5 Fuzzy Set-Theoretic Operators -- 6 Arithmetic Operations and Fuzzy Mathematics -- 7 Fuzzy Relations. |
| Record Nr. | UNINA-9910887813703321 |
|
Singh Manoranjan Kumar
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Facet Theory and the Mapping Sentence : Evolving Philosophy, Use and Declarative Applications / / by Paul M.W. Hackett
| Facet Theory and the Mapping Sentence : Evolving Philosophy, Use and Declarative Applications / / by Paul M.W. Hackett |
| Autore | Hackett Paul <1960-> |
| Edizione | [2nd ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (294 pages) : illustrations |
| Disciplina | 153 |
| Soggetto topico |
Psychology - Methodology
Sociology - Methodology Psychology Social sciences Humanities Statistics Psychological Methods Sociological Methods Behavioral Sciences and Psychology Humanities and Social Sciences Teoria de conjunts Mapes conceptuals Conducta (Psicologia) Filosofia |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783030661991
3030661997 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Ontological Categorisation and Mereology -- 3. Facet Theory and Thinking about Human Behaviour -- 4. The Declarative Mapping Sentence and Qualitative Facet Theory Research -- 5. Facet Theory Research Into Avian Cognition and Behaviour -- 6. Final Thoughts and Other Aspects of the Facet Theory Approach. |
| Record Nr. | UNINA-9910484697303321 |
|
Hackett Paul <1960->
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Forcing Method in Set Theory : An Introduction via Boolean Valued Logic / / by Matteo Viale
| The Forcing Method in Set Theory : An Introduction via Boolean Valued Logic / / by Matteo Viale |
| Autore | Viale Matteo |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (246 pages) |
| Disciplina | 511.3 |
| Collana | La Matematica per il 3+2 |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematical Logic and Foundations Lògica matemàtica Teoria de conjunts |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031716607
3031716604 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | - 1. Introduction -- 2. Preliminaries: Preorders, Topologies, Axiomatizations of Set Theory -- 3. Boolean Algebras -- 4. Complete Boolean Algebras -- 5. More on Preorders -- 6. Boolean Valued Models -- 7. Forcing. |
| Record Nr. | UNINA-9910906196703321 |
|
Viale Matteo
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics / / by Lorenz Halbeisen, Regula Krapf
| Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics / / by Lorenz Halbeisen, Regula Krapf |
| Autore | Halbeisen Lorenz |
| Edizione | [2nd ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2025 |
| Descrizione fisica | 1 online resource (339 pages) |
| Disciplina | 511.3 |
| Altri autori (Persone) | KrapfRegula |
| Collana | Mathematics and Statistics Series |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematical Logic and Foundations Teorema de Gödel Lògica matemàtica Teoria de conjunts |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031851063
9783031851056 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 0. A Framework for Metamathematics -- Part I Introduction to First-Order Logic -- 1 Syntax: The Grammar of Symbols -- 2 The Art of Proof -- 3 Semantics: Making Sense of the Symbols -- Part II Gödel’s Completeness Theorem -- 4 Maximally Consistent Extensions -- 5 The Completeness Theorem -- 6 Language Extensions by Definitions -- Part III Gödel’s Incompleteness Theorems -- 7 Countable Models of Peano Arithmetic -- 8 Arithmetic in Peano Arithmetic -- 9 Gödelisation of Peano Arithmetic -- 10 The First Incompleteness Theorem -- 11 The Second Incompleteness Theorem -- 12 Completeness of Presburger Arithmetic -- Part IV The Axiom System ZFC -- 13 The Axioms of Set Theory (ZFC) -- 14 Models of Set Theory -- 15 Models and Ultraproducts -- 16 Models of Peano Arithmetic -- 17 Models of the Real Numbers -- Tautologies -- Solutions -- References -- Index. |
| Record Nr. | UNINA-9911002546303321 |
|
Halbeisen Lorenz
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to Incompleteness : From Gödel's Theorems to Forcing and the Continuum Hypothesis / / by Serafim Batzoglou
| Introduction to Incompleteness : From Gödel's Theorems to Forcing and the Continuum Hypothesis / / by Serafim Batzoglou |
| Autore | Batzoglou Serafim |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2024 |
| Descrizione fisica | 1 online resource (303 pages) |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Set theory Mathematical Logic and Foundations Set Theory Teorema de Gödel Teoria de conjunts |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-64217-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1: Godel's Theorems -- Formal Axiomatic Systems -- Peano Arithmetic and Recursive Functions -- Godel's Incompleteness Theorems -- Structures, Models, and Satisfaction -- Completeness and Compactness Theorems -- Completeness and Peano Arithmetic -- The Lucas-Penrose Arguments -- Part II: Incompleteness in arithmetic and set theory -- Incompleteness in Finite Combinatorics -- Consistency of PA and E0 Induction -- Set Theory -- Independence of CH--forcing -- Independence of CH--forcing CH and -CH. |
| Record Nr. | UNINA-9910886096103321 |
|
Batzoglou Serafim
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An Introduction to Naïve Set Theory and Its Applications / / by Shashi Mohan Srivastava
| An Introduction to Naïve Set Theory and Its Applications / / by Shashi Mohan Srivastava |
| Autore | Srivastava S. M (Shashi Mohan) |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (143 pages) |
| Disciplina | 511.322 |
| Collana | University Texts in the Mathematical Sciences |
| Soggetto topico |
Set theory
Logic, Symbolic and mathematical Set Theory Mathematical Logic and Foundations Teoria de conjunts Lògica matemàtica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9789819746439
9789819746422 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Functions and Relations -- Ordinal and Cardinal Numbers -- Applications in Other Branches of Mathematics -- Banach-Tarski Paradox. |
| Record Nr. | UNINA-9910917201203321 |
|
Srivastava S. M (Shashi Mohan)
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
