A New Proof that π 11 < σ 11

&
Mathematical Logic Quarterly 25 (25‐29):407-408 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19790252504

Links

PhilArchive



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

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 effective σ‐boundedness and σ‐compactness.Vladimir Kanovei & Vassily Lyubetsky - 2013 - Mathematical Logic Quarterly 59 (3):147-166.
A Result for π‐Groups.C. H. Applebaum - 1973 - Mathematical Logic Quarterly 19 (3-6):33-35.
La théorie intuitionniste des types : sémantique des preuves et théorie des constructions.Michel Bourdeau - 1997 - Dialogue 36 (2):323-340.
Exact equiconsistency results for Δ 3 1 -sets of reals.Haim Judah - 1992 - Archive for Mathematical Logic 32 (2):101-112.
Basic Propositional Calculus II. Interpolation: II. Interpolation.Mohammad Ardeshir & Wim Ruitenburg - 2001 - Archive for Mathematical Logic 40 (5):349-364.
A New Proof That Πmath Image < Σmath Image.Richard Gostanian & Karel Hrbacek - 1979 - Mathematical Logic Quarterly 25 (25-29):407-408.
Maitra A. and Ryll-Nardzewski C.. On the existence of two analytic non-Borel sets which are not isomorphic. Bulletin de L'Académie Polonaise des Sciences, Série des sciences mathematiques, astronomiques et physiques, vol. 18 , pp. 177–178.Mauldin R. Daniel. On nonisomorphic analytic sets. Proceedings of the American Mathematical Society, vol. 58 , pp. 241–244.Hrbacek Karel. On the complexity of analytic sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 24 , pp. 419–425.Hrbacek Karel and Simpson Stephen G.. On Kleene degrees of analytic sets. The Kleene Symposium, Proceedings of the symposium held June 18–24, 1978 at Madison, Wisconsin, U.S.A., edited by Barwise Jon, Keisler H. Jerome, and Kunen Kenneth, Studies in logic and the foundations of mathematics, vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, pp. 347–352.Harrington Leo. Analytic determinacy and 0#. [REVIEW]Jacques Stern - 1984 - Journal of Symbolic Logic 49 (2):665-668.
Paul W. Abrahams. Machine verification of mathematical proof. Mathematical algorithms, vol. 1 no. 2 , pp. 11–32; vol. 1 no. 3 , pp. 19–38; vol. 2 , pp. 28–79; vol. 3 , pp. 28–155. [REVIEW]John McCarthy - 1972 - Journal of Symbolic Logic 37 (2):411-412.
A Simplified Proof of the 0–1 Law for Existential Second‐Order Ackermann Sentences.Thierry Lacoste - 1997 - Mathematical Logic Quarterly 43 (3):413-418.
On Some σ‐Algebras Containing the Projective Sets I.C. A. di Prisco & Wiktor Marek - 1982 - Mathematical Logic Quarterly 28 (33‐38):525-538.

Analytics

Added to PP
2013-11-24

Downloads
16 (#934,884)

6 months
1 (#1,516,021)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The order of reflection.Juan P. Aguilera - 2021 - Journal of Symbolic Logic 86 (4):1555-1583.

Add more citations

References found in this work

Add more references