GlaR, T., Rathjen, M. and Schliiter, A., On the proof-theoretic

, , , , &
Annals of Pure and Applied Logic 85 (1):283 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(96)00041-3

Links

PhilArchive



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

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

Leloup, G., Rings of monoids elementarily equivalent to polynomial rings Miller, C., Expansions of the real field with power functions Ozawa, M., Forcing in nonstandard analysis Rathjen, M., Proof theory of reflection. [REVIEW]L. D. Beklemishev, O. V. Belegradek, K. J. Davey & J. L. Krivine - 1994 - Annals of Pure and Applied Logic 68:343.
Griffor, ER, see Rathjen, M.L. Harrington, R. I. Soare, J. F. Knight & M. Lerman - 1998 - Annals of Pure and Applied Logic 94:297.
The universality spectrum of stable unsuperstable theories.Menachem Kojman & Saharon Shelah - 1992 - Annals of Pure and Applied Logic 58 (1):57-72.
Thephilosophyofautomatedtheoremproving.Francis Jeffry Pelletier - unknown
Downey, R., Gasarch, W. and Moses, M., The structure.S. D. Friedman, W. G. Handley, S. S. Wainer, A. Joyal, I. Moerdijk, L. Newelski, F. van Engelen & J. van Oosten - 1994 - Annals of Pure and Applied Logic 70 (1):287.
Prueba científica: Mitos Y paradigmas.Marina Gascón Abellán - 2010 - Anales de la Cátedra Francisco Suárez 44:81-103.
Bezem, M., see Barendsen, E.G. M. Bierman, M. DZamonja, S. Shelah, S. Feferman, G. Jiiger, M. A. Jahn, S. Lempp, Sui Yuefei, S. D. Leonhardi & D. Macpherson - 1996 - Annals of Pure and Applied Logic 79 (1):317.
Ardeshir, M., Ruitenburg, W. and Salehi, S., Intuitionistic.C. Areces, P. Blackburn, M. Marx, S. Cook, A. Kolokolova, T. Coquand, G. Sambin, J. Smith, S. Valentini & P. Dybjer - 2003 - Annals of Pure and Applied Logic 124:301.
ABRAHAM, U. and SHELAH, S., A AZ well-order of the reals and incompactness of L (Q”“) BUSS, SR, Intuitionistic validity in T-normal Kripke structures CAICEDO, X., Compactness and normality in abstract logics CENZER, D., DOWNEY, R., JOCKUSCH, C. and SHORE. [REVIEW]L. Li, L. I. H. & L. I. U. Y. - 1993 - Annals of Pure and Applied Logic 59:287.
Connectionism and cognitive architecture: A critical analysis.Jerry A. Fodor & Zenon W. Pylyshyn - 1988 - Cognition 28 (1-2):3-71.

Analytics

Added to PP
2014-03-24

Downloads
6 (#1,480,551)

6 months
2 (#1,446,842)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Ultrasheaves and Double Negation.Jonas Eliasson & Steve Awodey - 2004 - Notre Dame Journal of Formal Logic 45 (4):235-245.
Maharam spectra of Loeb spaces.Renling Jin & H. Jerome Keisler - 2000 - Journal of Symbolic Logic 65 (2):550-566.

Add more citations

References found in this work

A model for intuitionistic non-standard arithmetic.Ieke Moerdijk - 1995 - Annals of Pure and Applied Logic 73 (1):37-51.
Minimal models of Heyting arithmetic.Ieke Moerdijk & Erik Palmgren - 1997 - Journal of Symbolic Logic 62 (4):1448-1460.
A constructive approach to nonstandard analysis.Erik Palmgren - 1995 - Annals of Pure and Applied Logic 73 (3):297-325.

Add more references