Linearly Stratified Models for the Foundations of Nonstandard Mathematics

DOI10.1002/MALQ.19980440111MaRDI QIDQ4379634zbMATH OpenOpenAlexFDO

Authors Mauro Di Nasso

Publication date 30 March 1998

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

global framework for nonstandard mathematicsinaccessible cardinallinearly valued rank functionmodels of set theorytransitive full

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Models of arithmetic and set theory (03C62) Large cardinals (03E55) Nonstandard models (03H99)

Recommendations

• scientific article; zbMATH DE number 1347880
• On nonstandard models in higher order logic
• A Predicative Approach to Nonstandard Mathematics
• An abstract approach to stratification in linear logic
• A model for intuitionistic non-standard arithmetic
• scientific article; zbMATH DE number 2115892
• scientific article; zbMATH DE number 1678365
• scientific article; zbMATH DE number 1418078
• scientific article; zbMATH DE number 3882428
• Model approach to nonstandard analysis in the context of axiomatic set theory

Cited in

(2)

• scientific article; zbMATH DE number 2063229 (Why is no real title available?)
• scientific article; zbMATH DE number 937383 (Why is no real title available?)

This page was built for publication: Linearly Stratified Models for the Foundations of Nonstandard Mathematics

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