2024

Pischke, Nicholas Norbert (2024)
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00026584
Dissertation, Erstveröffentlichung, Verlagsversion

2023

Lichter, Moritz (2023)
Continuing the Quest for a Logic Capturing Polynomial Time - Potential, Limitations, and Interplay of Current Approaches.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00024244
Dissertation, Erstveröffentlichung, Verlagsversion

2022

Herrmann, Christian (2022)
On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices.
In: Algebra universalis, 83 (1)
doi: 10.1007/s00012-021-00760-3
Artikel, Bibliographie

Pischke, Nicholas ; Kohlenbach, Ulrich (2022)
Quantitative analysis of a subgradient-type method for equilibrium problems.
In: Numerical Algorithms, 90 (1)
doi: 10.1007/s11075-021-01184-9
Artikel, Bibliographie

Kohlenbach, Ulrich (2022)
On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space.
In: Optimization Letters, 16 (2)
doi: 10.1007/s11590-021-01738-9
Artikel, Bibliographie

Weinberger, Jonathan (2022)
A Synthetic Perspective on (∞,1)-Category Theory: Fibrational and Semantic Aspects.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00020716
Dissertation, Erstveröffentlichung, Verlagsversion

Sanders, Sam (2022)
Some contributions to high-order reverse mathematics.
Technische Universität Darmstadt
Habilitation, Bibliographie

2021

Kohlenbach, Ulrich (2021)
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness.
In: Archive for Mathematical Logic, 60 (7-8)
doi: 10.1007/s00153-021-00771-w
Artikel, Bibliographie

Zahn, Peter (2021)
Grundlegung einer widerspruchsfreien Nichtstandard-Mathematik.
doi: 10.26083/tuprints-00017472
Report, Erstveröffentlichung, Verlagsversion

Zahn, Peter (2021)
Von den erblich-endlichen Mengen bis zu den Delta-Funktionen : Grundlegung einer widerspruchsfreien Nichtstandard-Mathematik.
doi: 10.26083/tuprints-00019223
Report, Erstveröffentlichung, Verlagsversion

Doat, Joël André (2021)
Reyes’ Topos of Reference and Modality from a fibrational Perspective.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00019501
Masterarbeit, Erstveröffentlichung, Verlagsversion

2020

Zahn, Peter (2020)
Gedanken zur Ontologie.
doi: 10.25534/tuprints-00011490
Report, Erstveröffentlichung

Freund, Anton (2020)
A note on ordinal exponentiation and derivatives of normal functions.
In: Mathematical Logic Quarterly, 66 (3)
doi: 10.1002/malq.201900059
Artikel, Bibliographie

Powell, Thomas (2020)
A note on the finitization of Abelian and Tauberian theorems.
In: Mathematical Logic Quarterly, 66 (3)
doi: 10.1002/malq.201900076
Artikel, Bibliographie

Eickmeyer, Kord (2020)
Logics with Invariantly Used Relations.
Technische Universität Darmstadt
Habilitation, Bibliographie

Freund, Anton (2020)
What is effective transfinite recursion in reverse mathematics?
In: Mathematical Logic Quarterly, 66 (4)
doi: 10.1002/malq.202000042
Artikel, Bibliographie

2019

Zahn, Peter (2019)
Ein modal-logisches Modell für Syllogismen.
doi: 10.25534/tuprints-00009672
Report, Erstveröffentlichung

Zahn, Peter (2019)
Untersuchung einer widerspruchsfreien Modifikation von ZFC.
Report, Erstveröffentlichung

Zahn, Peter (2019)
Erblich endliche Mengen und die Widerspruchsfreiheit einer abgeschwächten Version von ZFC (Erweiterte Fassung).
Report, Erstveröffentlichung

Bitterlich, Julian (2019)
Investigations into the Universal Algebra of Hypergraph Coverings and Applications.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Freund, Anton (2019)
A categorical construction of Bachmann–Howard fixed points.
In: Bulletin of the London Mathematical Society, 51 (5)
doi: 10.1112/blms.12285
Artikel, Bibliographie

2018

Zahn, Peter (2018)
Erblich endliche Mengen und die Widerspruchsfreiheit einer abgeschwächten Version von ZFC.
Report, Erstveröffentlichung

Zahn, Peter (2018)
Eignet sich "unbestimmt" als Wahrheitswert?
Report, Erstveröffentlichung

Blumensath, Achim ; Wolf, Felix
Hrsg.: Chatzigiannakis, Ioannis ; Kaklamanis, Christos ; Marx, Dániel ; Sannella, Donald (2018)
Bisimulation Invariant Monadic-Second Order Logic in the Finite.
45th International Colloquium on Automata, Languages, and Programming (ICALP 2018). Dagstuhl, Germany
Konferenzveröffentlichung, Bibliographie

Zahn, Peter (2018)
Interpretation unscharfer Aussagen bzw. Relationen als Einermengen bzw. Funktionen.
Report, Erstveröffentlichung

Canavoi, Felix (2018)
Cayley Structures and the Expressiveness of Common Knowledge Logic.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

2017

Koutsoukou-Argyraki, Angeliki (2017)
Proof Mining for Nonlinear Operator Theory: Four Case Studies on Accretive Operators, the Cauchy Problem and Nonexpansive Semigroups.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Steinberg, Florian (2017)
Computational Complexity Theory for Advanced Function Spaces in Analysis.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

2016

Gregoriades, Vassilios (2016)
Descriptive set theory: advancements in effective theory and applications.
Technische Universität Darmstadt
Habilitation, Bibliographie

Körnlein, Daniel (2016)
Quantitative Analysis of Iterative Algorithms in Fixed Point Theory and Convex Optimization.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

2012

Kreuzer, Alexander P. (2012)
Proof mining and combinatorics : Program extraction for Ramsey's theorem for pairs.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

2011

Gaspar, Jaime (2011)
Proof interpretations: theoretical and practical aspects.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Kartzow, Alexander (2011)
First-Order Model Checking on Generalisations of Pushdown Graphs.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

2009

Briseid, Eyvind Martol (2009)
On Rates of Convergence in Metric Fixed Point Theory.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

2006

Zahn, Peter (2006)
Assertion Games to Justify Classical Reasoning.
In: Synthese, (148)
Artikel, Bibliographie