The Ω-consistency of ramified analysis

Archive for Mathematical Logic 6 (1-2):30-34 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02025804

Other Versions

reprint Parsons, Charles (1965) "The ω-Consistency of Ramified Analysis". Journal of Symbolic Logic 30(1):94-94
reprint Parsons, Charles (1966) "The ω-Consistency of Ramified Analysis". Journal of Symbolic Logic 31(1):98-98

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

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

Charles Parsons. The ω-consistency of ramified analysis. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 1–2 , pp. 30–34. [REVIEW]Gert H. Muller - 1965 - Journal of Symbolic Logic 30 (1):94.
Review: Charles Parsons, The $omega$-Consistency of Ramified Analysis. [REVIEW]Gert H. Muller - 1965 - Journal of Symbolic Logic 30 (1):94-94.
Reviews. Charles Parsons. The co-consistency of ramified analysis. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 1–2 (1962), pp. 30–34. [REVIEW]Gert H. Müller - 1966 - Journal of Symbolic Logic 31 (1):98-98.
On Kalmar's consistency proof and a generalization of the notion of ω-consistency.George S. Boolos - 1975 - Archive for Mathematical Logic 17 (1-2):3-7.
On the relationship between weak compactness inL ω 1 ω,L ω 1 ω 1, and restricted second-order languages.J. L. Bell - 1972 - Archive for Mathematical Logic 15 (1-2):74-78.
Parsons on mathematical intuition and obviousness.Michael D. Resnik - 2000 - In Gila Sher & Richard Tieszen (eds.), Between logic and intuition: essays in honor of Charles Parsons. New York: Cambridge University Press. pp. 219--231.
On a property of ω-stable solvable groups.Akito Tsuboi - 1988 - Archive for Mathematical Logic 27 (2):193-197.
Further applications of ultra-conservative ω-rules.E. G. K. López-Escobar - 1980 - Archive for Mathematical Logic 22 (3-4):89-102.

Analytics

Added to PP
2020-12-03

Downloads
7 (#1,637,090)

6 months
6 (#858,075)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.

Add more citations

References found in this work

No references found.

Add more references