The following pages link to (Q2765574):
Displaying 9 items.
- Theories of initial segments of standard models of arithmetics and their complete extensions (Q549718) (← links)
- Arity and alternation: a proper hierarchy in higher order logics (Q2385450) (← links)
- Potential infinity, abstraction principles and arithmetic (Leśniewski style) (Q2422536) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- Theories of arithmetics in finite models (Q3370752) (← links)
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 (Q4678940) (← links)
- Truth definitions in finite models (Q5311718) (← links)
- On 0, 1-laws and asymptotics of definable sets in geometric Fraïssé classes (Q5368838) (← links)
- THE POTENTIAL IN FREGE’S THEOREM (Q6045102) (← links)
