Pages that link to "Item:Q3370752"
From MaRDI portal
The following pages link to Theories of arithmetics in finite models (Q3370752):
Displaying 18 items.
- Construction of models of bounded arithmetic by restricted reduced powers (Q506954) (← links)
- Theories of initial segments of standard models of arithmetics and their complete extensions (Q549718) (← links)
- Minimal elementary extensions of models of set theory and arithmetic (Q810502) (← links)
- On the structure of initial segments of models of arithmetic (Q1123890) (← links)
- Classical and intuitionistic models of arithmetic (Q1355126) (← links)
- Inconsistent models of arithmetic. I: Finite models (Q1362598) (← links)
- Models of arithmetic in \(A\)-isols (Q1803012) (← links)
- Representability of functions in finite models. Arithmetical theories (Q1922030) (← links)
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC (Q3195589) (← links)
- On cofinal extensions of models of arithmetic (Q3322105) (← links)
- (Q3581788) (← links)
- Regularity in models of arithmetic (Q3708802) (← links)
- On Models Constructed by Means of the Arithmetized Completeness Theorem (Q4521125) (← links)
- Pseudofinite difference fields (Q4973031) (← links)
- Pseudofinite difference fields and counting dimensions (Q4991902) (← links)
- (Q5222088) (← links)
- (Q5693580) (← links)
- (Q5711875) (← links)