The following pages link to (Q5393634):
Displayed 10 items.
- Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
- A standard model of Peano arithmetic with no conservative elementary extension (Q998319) (← links)
- Iterated ultrapowers for the masses (Q1661675) (← links)
- Fixed points of self-embeddings of models of arithmetic (Q1709680) (← links)
- Automorphisms of models of set theory and extensions of NFU (Q2255737) (← links)
- The Rado path decomposition theorem (Q2279931) (← links)
- Infinitesimal analysis without the axiom of choice (Q2662699) (← links)
- Non-standard analysis in ACA0 and Riemann mapping theorem (Q3437038) (← links)
- CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC (Q4579817) (← links)
- On the strength of a weak variant of the axiom of counting (Q5108092) (← links)