Supplements to “A Predicative Approach to Nonstandard Mathematics”

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):269-271 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19890350310

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

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

Supplements to “A Predicative Approach to Nonstandard Mathematics”.Peter Zahn - 1989 - Mathematical Logic Quarterly 35 (3):269-271.
A Predicative Approach to Nonstandard Mathematics.Peter Zahn - 1987 - Mathematical Logic Quarterly 33 (1):85-96.
A Nonstandard Delta Function in a Predicative Theory.Peter Zahn - 1995 - Mathematical Logic Quarterly 41 (2):257-260.
A Predicative Approach to Nonstandard Mathematics.Peter Zahn - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (1):85-96.
An axiomatic presentation of the nonstandard methods in mathematics.Mauro Di Nasso - 2002 - Journal of Symbolic Logic 67 (1):315-325.
Nonstandard set theory.Peter Fletcher - 1989 - Journal of Symbolic Logic 54 (3):1000-1008.
Relationships between constructive, predicative and classical systems of analysis.Solomon Feferman - unknown
On the connection between Nonstandard Analysis and Constructive Analysis.Sam Sanders - forthcoming - Logique Et Analyse.
On the self-predicative universals of category theory.David Ellerman - manuscript
Linearly Stratified Models for the Foundations of Nonstandard Mathematics.Mauro Di Nasso - 1998 - Mathematical Logic Quarterly 44 (1):138-142.
Nonstandard arithmetic and recursive comprehension.H. Jerome Keisler - 2010 - Annals of Pure and Applied Logic 161 (8):1047-1062.
A sheaf-theoretic foundation for nonstandard analysis.Erik Palmgren - 1997 - Annals of Pure and Applied Logic 85 (1):69-86.
Nonstandard models in recursion theory and reverse mathematics.C. T. Chong, Wei Li & Yue Yang - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Working with nonstandard models.Harvey Friedman - manuscript
A Nonstandard Counterpart of WWKL.Stephen G. Simpson & Keita Yokoyama - 2011 - Notre Dame Journal of Formal Logic 52 (3):229-243.

Analytics

Added to PP
2016-02-04

Downloads
22 (#707,407)

6 months
2 (#1,192,898)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references