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

This page was built for person: Thomas Strahm