Consistency proofs in model theory: A contribution to Jensenlehre

Annals of Mathematical Logic 14 (1):1 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(78)90005-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,654

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the philosophical significance of consistency proofs.Michael D. Resnik - 1974 - Journal of Philosophical Logic 3 (1/2):133 - 147.
Propositional Proof Systems and Fast Consistency Provers.Joost J. Joosten - 2007 - Notre Dame Journal of Formal Logic 48 (3):381-398.
Hilbert's Programme and Gödel's Theorems.Matthias Schirn Karl‐Georg Niebergall - 2002 - Dialectica 56 (4):347-370.
Consistency statements and iterations of computable functions in IΣ1 and PRA.Joost J. Joosten - 2010 - Archive for Mathematical Logic 49 (7-8):773-798.
Routledge Revivals: On Constructive Interpretation of Predictive Mathematics.Charles Parsons - 1990 - Routledge.
Propositional consistency proofs.Samuel R. Buss - 1991 - Annals of Pure and Applied Logic 52 (1-2):3-29.
Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2):153-207.
Joint Consistency of Fuzzy Theories.Vilém Novák - 2002 - Mathematical Logic Quarterly 48 (4):563-573.
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.
Variable-Centered Consistency in Model RB.Liang Li, Tian Liu & Ke Xu - 2013 - Minds and Machines 23 (1):95-103.
Fragments of frege’s grundgesetze and gödel’s constructible universe.Sean Walsh - 2016 - Journal of Symbolic Logic 81 (2):605-628.
Consistency strength of higher chang’s conjecture, without CH.Sean D. Cox - 2011 - Archive for Mathematical Logic 50 (7-8):759-775.
A logical analysis of graphical consistency proofs.Atsushi Shimojima - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 93--115.
Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic.M. W. Bunder - 1987 - Journal of Symbolic Logic 52 (1):89-110.
Toposes in logic and logic in toposes.Marta Bunge - 1984 - Topoi 3 (1):13-22.

Analytics

Added to PP
2014-01-17

Downloads
21 (#752,853)

6 months
1 (#1,498,899)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Burgess
Princeton University

Citations of this work

Morasses, diamond, and forcing.Daniel J. Velleman - 1982 - Annals of Mathematical Logic 23 (2):199.
Simplified morasses with linear limits.Dan Velleman - 1984 - Journal of Symbolic Logic 49 (4):1001-1021.

Add more citations

References found in this work

The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Trees.Thomas J. Jech - 1971 - Journal of Symbolic Logic 36 (1):1-14.
Boolean extensions and measurable cardinals.K. Kunen - 1971 - Annals of Mathematical Logic 2 (4):359.
Some consequences of the Morass and diamond.Joseph R. Rebholz - 1975 - Annals of Mathematical Logic 7 (4):361-385.
Some consequences of the Morass and Diamond.Joseph R. Rebholz - 1975 - Annals of Mathematical Logic 7 (4):361.

Add more references