Pages that link to "Item:Q3786482"
From MaRDI portal
The following pages link to Nonstandard characterizations of recursive saturation and resplendency (Q3786482):
Displaying 12 items.
- On M-recursively saturated models of arithmetic (Q795824) (← links)
- Nonstandard definability (Q913793) (← links)
- Resplendent models and \({\Sigma_1^1}\)-definability with an oracle (Q944221) (← links)
- Transplendent models: expansions omitting a type (Q1762364) (← links)
- Order-types of models of arithmetic and a connection with arithmetic saturation (Q1888631) (← links)
- Interpreting the compositional truth predicate in models of arithmetic (Q2042738) (← links)
- INTERPRETATIONS BETWEEN<i>ω</i>-LOGIC AND SECOND-ORDER ARITHMETIC (Q2933679) (← links)
- ON AUTOMORPHISMS OF RESPLENDENT MODELS OF ARITHMETIC (Q3677751) (← links)
- Bounded Scott Set Saturation (Q4531088) (← links)
- The Barwise-Schlipf theorem (Q5146566) (← links)
- (Q5187284) (← links)
- Strong initial segments of models of IΔ<sub>0</sub> (Q5295064) (← links)