Pages that link to "Item:Q4868237"
From MaRDI portal
The following pages link to On End‐Extensions of Models of ¬exp (Q4868237):
Displaying 5 items.
- Extending to a model structure is not a first-order property (Q1998990) (← links)
- Local collection and end-extensions of models of compositional truth (Q2662691) (← links)
- END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS (Q2976370) (← links)
- Groundwork for weak analysis (Q3149983) (← links)
- Blunt and topless end extensions of models of set theory (Q3322082) (← links)