A Model Theory for the Potential Infinite

DOI10.4467/20842589RM.22.001.16658MaRDI QIDQ5057115zbMATH OpenOpenAlexFDO

Authors Matthias Eberl

Publication date 15 December 2022

Published in Reports on Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2212.07791

zbMATH Keywords

finitismfirst order logicmodel theorypotential infinitereflection principle

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Other model constructions (03C30) Other classical first-order model theory (03C68)

Recommendations

• Actual and potential infinity
• Paradox and potential infinity
• Logic semantics with the potential infinite
• Potential infinite models and ontologically neutral logic
• scientific article; zbMATH DE number 1895044

Cited in

(14)

• Paradox and potential infinity
• Higher-order concepts for the potential infinite
• Truth in the limit
• Assumptions of infinity
• Logic semantics with the potential infinite
• Infinity is not a size
• Divergent potentialism: a modal analysis with an application to choice sequences
• Actual and potential infinity
• Perfect infinities and finite approximation
• Potentiality and indeterminacy in mathematics
• Potentiality and indeterminacy in mathematics
• Potential infinite models and ontologically neutral logic
• Potential Infinity and De Re Knowledge of Mathematical Objects
• A reflection principle for potential infinite models of type theory

This page was built for publication: A Model Theory for the Potential Infinite

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