Locally finite theories

DOI10.2307/2273942MaRDI QIDQ3749037zbMATH OpenOpenAlexFDO

Authors Jan Mycielski

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

zbMATH Keywords

arithmeticnonstandard analysisfirst order theorylocally finite theoryaxiomatics of set theoryregular relativization

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Nonstandard models of arithmetic (03H15) Nonstandard models (03H99)

Recommendations

• Locally finite weakly minimal theories
• Finite axiomatizability of local set theory
• scientific article; zbMATH DE number 796971
• scientific article; zbMATH DE number 3964130
• Local set theory
• Locally finite countably-categorical Horn theories
• Local finiteness of algebras
• On locally modular, weakly minimal theories
• Local deductions theorems
• Locally modular theories of finite rank

Cited in

(21)

• An existential locality theorem
• scientific article; zbMATH DE number 60833 (Why is no real title available?)
• Locally finite weakly minimal theories
• Constructive theory of the lower power locale
• The meaning of pure mathematics
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof
• A finite analog to the Löwenheim-Skolem theorem
• 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)
• The theory of (exclusively) local beables
• Obtaining Finite Local Theory Axiomatizations via Saturation
• Local set theory
• Subsystems of true arithmetic and hierarchies of functions
• Higher-order concepts for the potential infinite
• scientific article; zbMATH DE number 4008363 (Why is no real title available?)
• Elementary approximation theory
• Localizing the axioms
• Local splitters for bounded cotorsion theories
• Locally finite properties of data structures and their computation
• Finite mathematics.

This page was built for publication: Locally finite theories

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