A Predicative Approach to Nonstandard Mathematics

DOI10.1002/MALQ.19870330111MaRDI QIDQ3737424zbMATH OpenOpenAlexFDO

Authors Peter Zahn

Publication date 1987

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19870330111

zbMATH Keywords

enlargementsinfinite structurescalculus languagelinguistic framepredicative foundation

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99) Nonstandard models (03H99)

Recommendations

• Supplements to “A Predicative Approach to Nonstandard Mathematics”
• Predicativity and constructive mathematics
• scientific article; zbMATH DE number 47249
• scientific article; zbMATH DE number 437520
• scientific article; zbMATH DE number 1347880
• A Nonstandard Delta Function in a Predicative Theory
• An axiomatic presentation of the nonstandard methods in mathematics
• A new approach to predicative set theory
• scientific article; zbMATH DE number 3928998
• scientific article; zbMATH DE number 2106998

Cited in

(3)

• Linearly Stratified Models for the Foundations of Nonstandard Mathematics
• Predicativity and constructive mathematics
• An axiomatic presentation of the nonstandard methods in mathematics

This page was built for publication: A Predicative Approach to Nonstandard Mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3737424)