Linearly Stratified Models for the Foundations of Nonstandard Mathematics

DOI10.1002/MALQ.19980440111zbMATH Open0891.03035OpenAlexW1992002696MaRDI QIDQ4379634

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

inaccessible cardinalmodels of set theoryglobal framework for nonstandard mathematicslinearly valued rank functiontransitive full

Mathematics Subject Classification ID

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

Related Items (1)

Title not available (Why is that?)

Recommendations

• A model for intuitionistic non-standard arithmetic 👍 👎
• An abstract approach to stratification in linear logic 👍 👎
• Model approach to nonstandard analysis in the context of axiomatic set theory 👍 👎
• On nonstandard models in higher order logic 👍 👎
• A Predicative Approach to Nonstandard Mathematics 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)