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:
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: