Locally finite theories
DOI10.2307/2273942zbMATH Open0609.03003OpenAlexW2073721793MaRDI QIDQ3749037FDOQ3749037
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
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
arithmeticnonstandard analysisfirst order theorylocally finite theoryaxiomatics of set theoryregular relativization
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)
Cited In (21)
- An existential locality theorem
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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)
