# Publications

Export 292 results:
2005
Probst, D.: On the relationship between fixed points and iteration in admissible set theory without foundation. Archive for Mathematical Logic. 44, 561-580 (2005).
: On two forms of bureaucracy in derivations. In: Proceedings of Structures and Deduction. pp. 65-74. Technische Universität Dresden (2005).
: Probabilistic ABox reasoning: preliminary results. In: Proceedings of Description Logics '05. pp. 104-111. CEUR-WS.org (2005).
: Provable data privacy. In: Proceedings of 16th International Conference on Database and Expert Systems Applications. pp. 324-332. Springer (2005).
: Reflections on reflections in explicit mathematics. Annals of Pure and Applied Logic. 136, 116-133 (2005).
Studer, T.: Relational representation of $\mathcal{ALN}$ knowledge bases. In: Proceedings of Multi '05. pp. 271-278. International Association for Development of the Information Society (2005).
2004
Strahm, T.: A proof-theoretic characterization of the basic feasible functionals. Theoretical Computer Science. 329, 159-176 (2004).
Jäger, G.: An intensional fixed point theory over first order arithmetic. Annals of Pure and Applied Logic. 128, 197-213 (2004).
: Iterating $Σ$ operations in admissible set theory without foundation: a further aspect of metapredicative Mahlo. In: Link, G. One Hundred Years of Russell's Paradox. Papers from the 2001 Munich Russell Conference. pp. 119-134. de Gruyter (2004).
: On modal $μ$-calculus and non-well-founded set theory. Journal of Philosophical Logic. 33, 343-360 (2004).
: Variation on a theme of Schütte. Mathematical Logic Quarterly. 50, 258-264 (2004).
2003
Tupailo, S.: Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe. Annals of Pure and Applied Logic. 120, 165-196 (2003).
Rüede, C.: The proof-theoretic analysis of $Σ^1_1$ transfinite dependent choice. Annals of Pure and Applied Logic. 122, 195-234 (2003).
Strahm, T.: Theories with self-application and computational complexity. Information and Computation. 185, 263-297 (2003).
Rüede, C.: Universes in metapredicative analysis. Archive for Mathematical Logic. 42, 129-151 (2003).
2002
: Extending the system $\mathsf{T}_0$ of explicit mathematics: the limit and Mahlo axioms. Annals of Pure and Applied Logic. 114, 79-101 (2002).
: Intuitionistic fixed point theories for strictly positive operators. Mathematical Logic Quarterly. 48, 195-202 (2002).