Switch to: Citations

References in:

Lindenbaum algebras of intuitionistic theories and free categories

Peter Freyd, Harvey Friedman & Andre Scedrov

Annals of Pure and Applied Logic 35 (C):167-172 (1987)

Add references

You must login to add references.

Sheaves and Logic.M. P. Fourman, D. S. Scott & C. J. Mulvey - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.details Download Export citation Bookmark 33 citations
Some applications of Kleene's methods for intuitionistic systems.Harvey Friedman - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 113--170.details Download Export citation Bookmark 26 citations
Some properties of intuitionistic Zermelo-Frankel set theory.John Myhill - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 206--231.details Download Export citation Bookmark 19 citations
Choice and well-ordering.Peter Freyd - 1987 - Annals of Pure and Applied Logic 35 (C):149-166.details Download Export citation Bookmark 6 citations
La logique Des topos.André Boileau & André Joyal - 1981 - Journal of Symbolic Logic 46 (1):6-16.details Download Export citation Bookmark 24 citations
On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis.Andre Scedrov - 1986 - Annals of Pure and Applied Logic 32:291-297.details Download Export citation Bookmark 1 citation

1