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.
The axiom of determinacy, forcing axioms, and the nonstationary ideal [[electronic resource] /] / W. Hugh Woodin
| The axiom of determinacy, forcing axioms, and the nonstationary ideal [[electronic resource] /] / W. Hugh Woodin |
| Autore | Woodin W. H (W. Hugh) |
| Edizione | [2nd rev. ed.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : De Gruyter, c2010 |
| Descrizione fisica | 1 online resource (858 p.) |
| Disciplina | 511.3 |
| Collana | De Gruyter series in logic and its applications |
| Soggetto topico |
Forcing (Model theory)
Model theory |
| Soggetto non controllato |
Continuum Hypothesis
Mathematical Logic Set Theory |
| ISBN |
1-282-72287-5
9786612722875 3-11-021317-6 |
| Classificazione | SK 130 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- 1 Introduction -- 2 Preliminaries -- 3 The nonstationary ideal -- 4 The ℙmax-extension -- 5 Applications -- 6 ℙmax variations -- 7 Conditional variations -- 8 ♣ principles for ω 1 -- 9 Extensions of L(Γ, ℝ) -- 10 Further results -- 11 Questions -- Backmatter |
| Record Nr. | UNINA-9910780708903321 |
Woodin W. H (W. Hugh)
|
||
| Berlin ; ; New York, : De Gruyter, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Concepts of proof in mathematics, philosophy, and computer science / / Dieter Probst and Peter Schuster
| Concepts of proof in mathematics, philosophy, and computer science / / Dieter Probst and Peter Schuster |
| Autore | Probst Dieter |
| Pubbl/distr/stampa | Berlin, [Germany] ; : , : De Gruyter, , 2016 |
| Descrizione fisica | 1 online resource (384 pages) |
| Disciplina | 511.36 |
| Collana | Ontos Mathematical Logic |
| Soggetto topico |
Proof theory
Mathematics Logic, Symbolic and mathematical |
| Soggetto non controllato |
Mathematical Logic
Philosophy of Mathematics Theoretical Computer Science |
| ISBN |
1-5015-0264-6
1-5015-0262-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Herbrand Confluence for First-Order Proofs with Π2-Cuts -- Proof-Oriented Categorical Semantics -- Logic for Gray-code Computation -- The Continuum Hypothesis Implies Excluded Middle -- Theories of Proof-Theoretic Strength Ψ (ΓΩ +1) -- Some Remarks about Normal Rings -- On Sets of Premises -- Non-Deterministic Inductive Definitions and Fullness -- Cyclic Proofs for Linear Temporal Logic -- Craig Interpolation via Hypersequents -- A General View on Normal Form Theorems for Łukasiewicz Logic with Product -- Relating Quotient Completions via Categorical Logic -- Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics -- Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction -- Hilbert’s Programme and Ordinal Analysis -- Aristotle’s Deductive Logic: a Proof-Theoretical Study -- Remarks on Barr’s Theorem: Proofs in Geometric Theories |
| Record Nr. | UNINA-9910796687303321 |
|
Probst Dieter
|
||
| Berlin, [Germany] ; : , : De Gruyter, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||