Localization o a theorem of Ambos-Spies and the strong anti-splitting property.
R.G. Downey (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “On a weakening of Markov's principle.”
Localization o a theorem of Ambos-Spies and the strong anti-splitting property.
Strong normalization of barrecursive terms without using infinite terms.
Marc Bezem (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Expansions of models of ZFC.
T.B. Flannagan (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Cupping and noncapping in the R.E. weak truth table and turing degrees.
Klaus Ambos-Spies (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Existential interpretation. II.
Yuri Gurevich (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On Kalmar's consistency proof and a generalization of the notion of ...-consistency.
George S. Boolos (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Disjunctive properties of intuitionistic systems.
B. Scarpellini (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The unique existential quantifier.
H.B. Enderton (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Remark on complete interpretations by models.
G. Kreisel (1954/56)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A note on proofs of falsehood.
Jan Krajicek (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: