Ordinal Bounds for k-consistency

Journal of Symbolic Logic 39 (4):693-699 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272854

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

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

Strong Faithfulness and Uniform Consistency in Causal Inference.Jiji Zhang - unknown
Computable structures and the hyperarithmetical hierarchy.C. J. Ash - 2000 - New York: Elsevier. Edited by J. Knight.
Embedding theorems for Boolean algebras and consistency results on ordinal definable sets.Petr Štěpánek & Bohuslav Balcar - 1977 - Journal of Symbolic Logic 42 (1):64-76.
The consistency of arithmetic.Storrs McCall - manuscript
Turing computations on ordinals.Peter Koepke - 2005 - Bulletin of Symbolic Logic 11 (3):377-397.
Intermediate predicate logics determined by ordinals.Pierluigi Minari, Mitio Takano & Hiroakira Ono - 1990 - Journal of Symbolic Logic 55 (3):1099-1124.
Global inductive definability.Jon Barwise & Yiannis N. Moschovakis - 1978 - Journal of Symbolic Logic 43 (3):521-534.
Pseudo-complements and ordinal logics based on consistency statements.Robert A. Di Paola - 1966 - Journal of Symbolic Logic 31 (3):359-364.

Analytics

Added to PP
2009-01-28

Downloads
228 (#87,941)

6 months
6 (#509,130)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Warren Goldfarb
Harvard University

Citations of this work

No citations found.

Add more citations

References found in this work

Review: Kurt Schutte, Beweistheorie. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.

Add more references