Pages that link to "Item:Q2339960"
From MaRDI portal
The following pages link to A new proof of Ajtai's completeness theorem for nonstandard finite structures (Q2339960):
Displaying 5 items.
- Construction of models of bounded arithmetic by restricted reduced powers (Q506954) (← links)
- Resplendent models and \({\Sigma_1^1}\)-definability with an oracle (Q944221) (← links)
- Saturated models and models that are generated by indiscernibles (Q2732283) (← links)
- (Q4133632) (← links)
- Forcing in Finite Structures (Q4351930) (← links)