Locally finite theories
From MaRDI portal
Publication:3749037
DOI10.2307/2273942zbMath0609.03003MaRDI QIDQ3749037
Publication date: 1986
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273942
arithmetic; nonstandard analysis; first order theory; locally finite theory; axiomatics of set theory; regular relativization
03B30: Foundations of classical theories (including reverse mathematics)
03C13: Model theory of finite structures
03H15: Nonstandard models of arithmetic
03F65: Other constructive mathematics
03H99: Nonstandard models
Related Items
2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02, Ranked partial structures, On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge), Subsystems of true arithmetic and hierarchies of functions, The meaning of pure mathematics, Finite mathematics., Fragment of Nonstandard Analysis with a Finitary Consistency Proof