Stanley S. Wainer

Available identifiers

zbMath Open wainer.stanley-scottWikidataQ102265932 ScholiaQ102265932MaRDI QIDQ1084099

List of research outcomes

Publication	Date of Publication	Type
The hierarchy of terminating recursive programs over N	2023-12-12	Paper
GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION	2021-09-17	Paper
Pointwise Transfinite Induction and a Miniaturized Predicativity	2020-08-07	Paper
Predicatively unprovable termination of the Ackermannian Goodstein process	2020-06-11	Paper
Tiered Arithmetics	2020-02-05	Paper
S. Barry Cooper (1943–2015)	2018-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4981458	2014-06-24	Paper
Proofs and Computations	2012-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q3081652	2011-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q5435640	2008-01-14	Paper
New Computational Paradigms	2006-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q5700823	2005-11-02	Paper
Inductive definitions over a predicative arithmetic	2005-09-22	Paper
Elementary arithmetic	2005-04-21	Paper
https://portal.mardi4nfdi.de/entity/Q4823142	2004-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q2752056	2002-03-07	Paper
Accessible Recursive Functions	2001-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4525292	2001-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4263838	1999-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4215632	1998-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4381424	1998-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4357068	1997-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q4850555	1997-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q4863242	1996-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4842542	1995-12-13	Paper
Equational derivation vs. computation	1994-11-27	Paper
https://portal.mardi4nfdi.de/entity/Q3138826	1993-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4694230	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4038725	1993-05-18	Paper
Ordinal complexity of recursive definitions	1992-09-27	Paper
Slow growing versus fast growing	1989-01-01	Paper
A plus-1 theorem for subsections	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3773880	1987-01-01	Paper
Members of countable \(\Pi ^ 0_ 1\) classes	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3028996	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3028999	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3695270	1984-01-01	Paper
The slow-growing and the Graegorczyk hierarchies	1983-01-01	Paper
The 1-section of a countable functional	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4068712	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4108311	1975-01-01	Paper
A hierarchy for the 1-section of any type two object	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4775861	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4775862	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5638293	1972-01-01	Paper
Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy	1972-01-01	Paper
Hierarchies of number-theoretic functions I, II: A correction	1971-01-01	Paper
Hierarchies of number-theoretic functions. I	1970-01-01	Paper
Hierarchies of number-theoretic functions II	1970-01-01	Paper
A classification of the ordinal recursive functions	1970-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stanley S. Wainer