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.
Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / / Kurt Gödel
| Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / / Kurt Gödel |
| Autore | Gödel Kurt |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (81 pages) |
| Disciplina | 510.1 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical |
| Soggetto non controllato |
Absoluteness
Addition Axiom of choice Axiom of extensionality Axiom of infinity Axiom Axiomatic system Boolean algebra (structure) Constructible set (topology) Continuum hypothesis Existence theorem Existential quantification Integer Mathematical induction Mathematical logic Mathematics Metatheorem Order by Ordinal number Propositional function Quantifier (logic) Reductio ad absurdum Requirement Set theory Theorem Transfinite induction Transfinite Variable (mathematics) Well-order |
| ISBN | 1-4008-8163-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- INTRODUCTION -- CHAPTER I. THE AXIOMS OF ABSTRACT SET THEORY -- CHAPTER II. EXISTENCE OF CLASSES AND SETS -- CHAPTER III. ORDINAL NUMBERS -- CHAPTER IV. CARDINAL NUMBERS -- CHAPTER V. THE MODEL Δ -- CHAPTER VI. PROOF OF THE AXIOMS OF GROUPS A-D FOR THE MODEL Δ -- CHAPTER VII. PROOF THAT V = L HOLDS IN THE MODEL Δ -- CHAPTER VIII. PROOF THAT V = L IMPLIES THE AXIOM OF CHOICE AND THE GENERALISED CONTINTUUM-HYPOTHESIS -- APPENDIX -- INDEX -- Notes Added to the Second Printing -- BIBLIOGRAPHY |
| Record Nr. | UNINA-9910154754203321 |
Gödel Kurt
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church
| Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (389 pages) |
| Disciplina | 511.3 |
| Collana | Princeton Mathematical Series |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto non controllato |
Abstract algebra
Acta Mathematica Arithmetic Axiom of choice Axiom of infinity Axiom of reducibility Axiom schema Axiom Axiomatic system Binary function Boolean algebra (structure) Boolean ring Calculus ratiocinator Characterization (mathematics) Class (set theory) Classical mathematics Commutative property Commutative ring Conditional disjunction David Hilbert Decision problem Deduction theorem Denotation Disjunctive syllogism Double negation Duality (mathematics) Elementary algebra Elementary arithmetic English alphabet Equation Existential quantification Expression (mathematics) Formation rule Frege (programming language) Function (mathematics) Functional calculus Fundamenta Mathematicae Gödel numbering Gödel's completeness theorem Gödel's incompleteness theorems Hilbert's program Hypothetical syllogism Imperative logic Inference Introduction to Mathematical Philosophy Lambda calculus Linear differential equation Logic Logical connective Logical disjunction Material implication (rule of inference) Mathematical analysis Mathematical induction Mathematical logic Mathematical notation Mathematical practice Mathematical problem Mathematical theory Mathematics Mathematische Zeitschrift Metatheorem Modal logic Modus ponendo tollens Natural number Naturalness (physics) Negation Notation Number theory Object language Parity (mathematics) Predicate (mathematical logic) Prenex normal form Principia Mathematica Propositional calculus Propositional function Propositional variable Quantifier (logic) Range (mathematics) Real number Recursion (computer science) Restriction (mathematics) Riemann surface Ring (mathematics) Rule of inference Scientific notation Second-order arithmetic Series (mathematics) Sign (mathematics) Skolem normal form Special case Tautology (logic) Term logic The Principles of Mathematics Theorem Three-dimensional space (mathematics) Transfinite number Triviality (mathematics) Truth table Variable (mathematics) Zermelo set theory |
| ISBN | 1-4008-8145-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Introduction -- I. The Propositional Calculus -- II. The Propositional Calculus (Continued) -- III. Functional Calculi of First Order -- IV. The Pure Functional Calculus of First Order -- V. Functional Calculi of Second Order -- Index of Definitions -- Index of Authors -- Errata |
| Record Nr. | UNINA-9910154754303321 |
|
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Seminar on Transformation Groups. (AM-46), Volume 46 / / Armand Borel
| Seminar on Transformation Groups. (AM-46), Volume 46 / / Armand Borel |
| Autore | Borel Armand |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (261 pages) : illustrations |
| Disciplina | 512.86 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Algebraic topology
Transformation groups |
| Soggetto non controllato |
Abelian group
Addition Algebraic topology Analytic function Armand Borel Big O notation Bijection Chain complex Circle group Codimension Coefficient Cohomology ring Cohomology Commutative diagram Complex number Conjugacy class Connected component (graph theory) Connected space Continuous function Corollary Counterexample Cup product Cyclic group Diffeomorphism Differentiable function Dimension (vector space) Dimension function Dimension Direct product Direct sum Embedding Equivariant map Euclidean space Exact sequence Exponential function Fiber bundle Field of fractions Finite group Finitely generated module Functor Group action H-space Hausdorff space Homeomorphism Homogeneous space Homological algebra Homology (mathematics) Homology sphere Homomorphism Ideal (ring theory) Identity component Inner automorphism Invariant subspace Lie algebra Lie group Linear combination Linearity Locally compact space Manifold Mathematical induction Maximal torus Metatheorem Metric space Module (mathematics) Monotonic function N-sphere Neighbourhood (mathematics) Open set Orientability P-group Paracompact space Partially ordered set Polynomial Presheaf (category theory) Prime ideal Projective space Quotient space (topology) Real variable Riemannian manifold Scientific notation Sheaf (mathematics) Simply connected space Solvable group Special case Spectral sequence Subgroup Subset Support (mathematics) Sylow theorems Tangent vector Theorem Topological group Topological space Torsion subgroup Transpose Unique factorization domain Universal bundle Universal coefficient theorem Vector space Weyl group |
| ISBN | 1-4008-8267-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- TABLE OP CONTENTS -- INTRODUCTION -- CHAPTER I: COHOMOLOGY MANIFOLDS / Borel, A. -- CHAPTER II: HOMOLOGY AND DUALITY IN GENERALIZED MANIFOLDS / Borel, A. -- CHAPTER III: PERIODIC MAPS VIA SMITH THEORY / Floyd, E. E. -- CHAPTER IV: THE ACTION OF Zp OR T1 : GLOBAL THEOREMS / Borel, A. -- CHAPTER V: THE ACTION OF Zp T1 : LOCAL THEOREMS / Borel, A. -- CHAPTER VI: ISOTROPY SUBGROUPS OP TORAL GROUPS / Floyd, E. E. -- CHAPTER VII: FINITENESS OP NUMBER OF ORBIT TYPES / Bredon, G. E. -- CHAPTER VIII: SLICES AND EQUIVARIANT IMBEDDINGS / Palais, R. S. -- CHAPTER IX: ORBITS OF HIGHEST DIMENSION / Montgomery, Deane -- CHAPTER X: THE SPECTRAL SEQUENCE OF A BIFILTERED MODULE, / Borel, A. -- CHAPTER XI: THE SPECTRAL SEQUENCE OF FARY / Borel, A. -- CHAPTER XII: FIXED POINT THEOREMS FOR ELEMENTARY COMMUTATIVE GROUPS I / Borel, A. -- CHAPTER XIII: FIXED POINT THEOREMS FOR ELEMENTARY COMMUTATIVE GROUPS II / Borel, A. -- CHAPTER XIV: ONE OR W O CLASSES OF ORBITS / Borel, A. -- CHAPTER XV: FIXED POINT SETS AND ORBITS OF COMPLEMENTARY DIMENSION / Bredon, G. E. -- CHAPTER XVI: REMARKS ON THE SPECTRAL SEQUENCE OF A MAP / Borel, A. -- Backmatter |
| Record Nr. | UNINA-9910154746603321 |
|
Borel Armand
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||