Switch to: Citations

References in:

ASH, CJ, Stability of recursive structures in arithmetical degrees BLASS, A. and GUREVICH, Y., Henkin quantifiers and complete problems BUCHHOLZ, W., A new system of proof-theoretic ordinal functions [Book Review]

H. Friedman & Rc Flagg

Annals of Pure and Applied Logic 32 (C):299 (1986)

Add references

You must login to add references.

Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.details Download Export citation Bookmark 146 citations
(1 other version)Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.details Download Export citation Bookmark 151 citations
Epistemic arithmetic is a conservative extension of intuitionistic arithmetic.Nicolas D. Goodman - 1984 - Journal of Symbolic Logic 49 (1):192-203.details Download Export citation Bookmark 14 citations
Integrating classical and intuitionistic type theory.Robert C. Flagg - 1986 - Annals of Pure and Applied Logic 32:27-51.details Download Export citation Bookmark 10 citations
Epistemic set theory is a conservative extension of intuitionistic set theory.R. C. Flagg - 1985 - Journal of Symbolic Logic 50 (4):895-902.details Download Export citation Bookmark 10 citations

1