An Absolutely Independent Set of ΣO01-Sentences

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (7):107-109 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19720180704

Links

PhilArchive



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

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

Satisfaction Classes and Combinatorial Sentences Independent FromPA.Z. Ratajczyk - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (8-12):149-165.
John Myhill. The invalidity of Markoff's schema. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 359–360. [REVIEW]Joan Rand Moschovakis - 1974 - Journal of Symbolic Logic 39 (2):333-334.
Myhill John. Creative sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 , pp. 97–108.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (1):73-76.
Vaught Sentences and the Covering Theorem.David W. Kueker - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (3):221-228.
Analytic completeness theorem for absolutely continuous biprobability models.Radosav S. Đorđević - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):241-246.
Sentences Preserved between Equivalent Topological Bases.T. A. McKee - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):79-84.
On Skala's set theory.Jannis Manakos - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (35):541-546.
A Jump Operator in Set Recursion.Dag Normann - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):251-264.
On a Subtheory of the Bernays-Gödel Set Theory.Jannis Manakos - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):413-414.
Concerning the Axioms of Ackermann's Set Theory.Wojciech Buszkowski - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (1-6):63-70.

Analytics

Added to PP
2016-02-04

Downloads
29 (#135,560)

6 months
7 (#1,397,300)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.
Independent gödel sentences and independent sets.A. M. Dawes & J. B. Florence - 1975 - Journal of Symbolic Logic 40 (2):159-166.

Add more citations

References found in this work

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.

Add more references