Locally finite theories
From MaRDI portal
Publication:3749037
DOI10.2307/2273942zbMath0609.03003OpenAlexW2073721793MaRDI 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
arithmeticnonstandard analysisfirst order theorylocally finite theoryaxiomatics of set theoryregular relativization
Foundations of classical theories (including reverse mathematics) (03B30) Model theory of finite structures (03C13) Nonstandard models of arithmetic (03H15) Other constructive mathematics (03F65) Nonstandard models (03H99)
Related Items
On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge) ⋮ The meaning of pure mathematics ⋮ Higher-order concepts for the potential infinite ⋮ Ranked partial structures ⋮ Subsystems of true arithmetic and hierarchies of functions ⋮ Fragment of Nonstandard Analysis with a Finitary Consistency Proof ⋮ 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 ⋮ Finite mathematics.
