The following pages link to Locally finite theories (Q3749037):
Displaying 16 items.
- On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge) (Q598281) (← links)
- Subsystems of true arithmetic and hierarchies of functions (Q688433) (← links)
- The theory of (exclusively) local beables (Q720000) (← links)
- The meaning of pure mathematics (Q1123181) (← links)
- Locally finite weakly minimal theories (Q1182488) (← links)
- Finite mathematics. (Q1578768) (← links)
- An existential locality theorem (Q1887659) (← links)
- Local set theory (Q2387839) (← links)
- Higher-order concepts for the potential infinite (Q2682910) (← links)
- Local splitters for bounded cotorsion theories (Q2769480) (← links)
- Obtaining Finite Local Theory Axiomatizations via Saturation (Q2849490) (← links)
- Fragment of Nonstandard Analysis with a Finitary Consistency Proof (Q3594485) (← links)
- (Q4009136) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
- Ranked partial structures (Q4650273) (← links)
- Constructive theory of the lower power locale (Q4882493) (← links)
