Thomas Strahm

Available identifiers

zbMath Open strahm.thomasMaRDI QIDQ588960

List of research outcomes

Publication	Date of Publication	Type
Theories of Proof-Theoretic Strength Ψ (ΓΩ +1)	2020-04-03	Paper
Unfolding Schematic Systems	2020-02-05	Paper
A flexible type system for the small Veblen ordinal	2019-07-04	Paper
Katalin Bimbó. Proof Theory: Sequent Calculi and Related Formalisms. CRC Press, Boca Raton, 2014, x + 374 pp.	2017-05-26	Paper
A note on the theory SID<ω of stratified induction	2014-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q4981445	2014-06-24	Paper
Realisability in weak systems of explicit mathematics	2011-12-23	Paper
Admissible closures of polynomial time computable arithmetic	2011-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q3081651	2011-03-09	Paper
UNFOLDING FINITIST ARITHMETIC	2011-01-12	Paper
Elementary explicit types and polynomial time operations	2009-06-11	Paper
Primitive recursive selection functions for existential assertions over abstract algebras	2008-09-01	Paper
On the proof theory of type two functionals based on primitive recursive operations	2006-08-30	Paper
Reflections on reflections in explicit mathematics	2005-09-22	Paper
A proof-theoretic characterization of the basic feasible functionals	2005-02-09	Paper
Wellordering proofs for metapredicative Mahlo	2004-03-17	Paper
Theories with self-application and computational complexity.	2004-03-14	Paper
Intuitionistic Fixed Point Theories for Strictly Positive Operators	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4793035	2003-02-18	Paper
Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory	2002-12-05	Paper
The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule	2001-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q4934569	2001-06-05	Paper
The unfolding of non-finitist arithmetic	2001-05-02	Paper
Fixed point theories and dependent choice	2001-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4941991	2000-12-26	Paper
https://portal.mardi4nfdi.de/entity/Q4944925	2000-03-22	Paper
Bar induction and \(\omega\) model reflection	1999-09-22	Paper
The proof-theoretic analysis of transfinitely iterated fixed point theories	1999-09-16	Paper
The \(\mu\) quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals	1999-09-09	Paper
Polynomial time operations in explicit mathematics	1997-09-28	Paper
Systems of explicit mathematics with non-constructive \(\mu\)-operator and join	1997-01-06	Paper
Some theories with positive induction of ordinal strength φω0	1996-12-12	Paper
Second order theories with ordinals and elementary comprehension	1996-09-22	Paper
Partial Applicative Theories and Explicit Substitutions	1996-05-09	Paper
Totality in applicative theories	1996-03-05	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: Thomas Strahm