The following pages link to (Q5222088):
Displaying 11 items.
- Numbers and models, standard and nonstandard (Q601779) (← links)
- Pointwise definable substructures of models of Peano arithmetic (Q1113901) (← links)
- Classical and intuitionistic models of arithmetic (Q1355126) (← links)
- On axiom schemes for \(T\)-provably \(\Delta_1\) formulas (Q2449854) (← links)
- A model for relative evolution of 0 and 1, the 2 fixed points of multiplication (Q2827627) (← links)
- Regularity in models of arithmetic (Q3708802) (← links)
- Unions and intersections of isomorphic images of nonstandard models of arithmetic (Q3757917) (← links)
- The Recursively Saturated Part of Models of Peano Arithmetic (Q3758814) (← links)
- Inconsistent Models for Relevant Arithmetics (Q5019126) (← links)
- Truth definition for $\Delta _ 0$ formulas and PSPACE computations (Q5146427) (← links)
- HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? (Q6103456) (← links)