The following pages link to Stanley S. Wainer (Q1084099):
Displaying 16 items.
- Members of countable \(\Pi ^ 0_ 1\) classes (Q1084100) (← links)
- (Q1113896) (redirect page) (← links)
- A plus-1 theorem for subsections (Q1113897) (← links)
- Ordinal complexity of recursive definitions (Q1193596) (← links)
- Equational derivation vs. computation (Q1338198) (← links)
- Elementary arithmetic (Q1772782) (← links)
- Inductive definitions over a predicative arithmetic (Q2566072) (← links)
- (Q2752056) (← links)
- (Q3028996) (← links)
- (Q3028999) (← links)
- (Q3081652) (← links)
- Proofs and Computations (Q3110202) (← links)
- (Q3138826) (← links)
- Pointwise Transfinite Induction and a Miniaturized Predicativity (Q3305563) (← links)
- GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION (Q4959664) (← links)
- Predicatively unprovable termination of the Ackermannian Goodstein process (Q5113418) (← links)
