The following pages link to Stanley S. Wainer (Q1084099):
Displaying 50 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)
- Slow growing versus fast growing (Q3478403) (← links)
- The slow-growing and the Graegorczyk hierarchies (Q3682477) (← links)
- (Q3695270) (← links)
- (Q3773880) (← links)
- The 1-section of a countable functional (Q3880830) (← links)
- (Q4038725) (← links)
- A hierarchy for the 1-section of any type two object (Q4053632) (← links)
- (Q4068712) (← links)
- (Q4108311) (← links)
- (Q4215632) (← links)
- (Q4263838) (← links)
- (Q4357068) (← links)
- (Q4381424) (← links)
- (Q4525292) (← links)
- S. Barry Cooper (1943–2015) (Q4683146) (← links)
- (Q4694230) (← links)
- (Q4775861) (← links)
- (Q4775862) (← links)
- (Q4823142) (← links)
- (Q4842542) (← links)
- (Q4850555) (← links)
- (Q4863242) (← links)
- Accessible Recursive Functions (Q4940736) (← links)
- GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION (Q4959664) (← links)
- (Q4981458) (← links)
- Predicatively unprovable termination of the Ackermannian Goodstein process (Q5113418) (← links)
- Tiered Arithmetics (Q5214784) (← links)
- (Q5435640) (← links)
- Hierarchies of number-theoretic functions. I (Q5612466) (← links)
- Hierarchies of number-theoretic functions II (Q5626637) (← links)
- A classification of the ordinal recursive functions (Q5635436) (← links)
- (Q5638293) (← links)
- Hierarchies of number-theoretic functions I, II: A correction (Q5643973) (← links)
- Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy (Q5676207) (← links)
- (Q5700823) (← links)
- New Computational Paradigms (Q5717064) (← links)
