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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

The ω-Consistency of Ramified Analysis.Charles Parsons - 1966 - Journal of Symbolic Logic 31 (1):98-98.
The ω-Consistency of Ramified Analysis.Charles Parsons - 1965 - Journal of Symbolic Logic 30 (1):94-94.
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. Müller - 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
1 (#1,722,932)

6 months
1 (#1,912,481)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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