The following pages link to Locally finite theories (Q3749037):
Displayed 7 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 meaning of pure mathematics (Q1123181) (← links)
- Finite mathematics. (Q1578768) (← links)
- Fragment of Nonstandard Analysis with a Finitary Consistency Proof (Q3594485) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
- Ranked partial structures (Q4650273) (← links)