A Predicative Approach to Nonstandard Mathematics

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (1):85-96 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19870330111

Links

PhilArchive



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

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

A Predicative Approach to Nonstandard Mathematics.Peter Zahn - 1987 - Mathematical Logic Quarterly 33 (1):85-96.
Supplements to “A Predicative Approach to Nonstandard Mathematics”.Peter Zahn - 1989 - Mathematical Logic Quarterly 35 (3):269-271.
A Nonstandard Delta Function in a Predicative Theory.Peter Zahn - 1995 - Mathematical Logic Quarterly 41 (2):257-260.
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.
Nonstandard arithmetic and reverse mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.

Analytics

Added to PP
2015-12-02

Downloads
21 (#734,423)

6 months
1 (#1,464,097)

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