Pages that link to "Item:Q2765574"
From MaRDI portal
The following pages link to On representing concepts in finite models (Q2765574):
Displaying 15 items.
- Representing models by finite trees (Q447662) (← links)
- Theories of initial segments of standard models of arithmetics and their complete extensions (Q549718) (← links)
- Elementary approximation theory (Q1198440) (← links)
- Representability of functions in finite models. Arithmetical theories (Q1922030) (← links)
- Arity and alternation: a proper hierarchy in higher order logics (Q2385450) (← links)
- Potential infinity, abstraction principles and arithmetic (Leśniewski style) (Q2422536) (← links)
- Finite representations of the non-structural objects (Q2901740) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- Theories of arithmetics in finite models (Q3370752) (← links)
- (Q4027734) (← 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)
- New Computational Paradigms (Q5717062) (← links)
- THE POTENTIAL IN FREGE’S THEOREM (Q6045102) (← links)