# Publications

Export 59 results:
Filters: Author is Gerhard Jäger  [Clear All Filters]
1995
: Second order theories with ordinals and elementary comprehension. Archive for Mathematical Logic. 34, 345-375 (1995).
: Totality in applicative theories. Annals of Pure and Applied Logic. 74, 105-120 (1995).
1994
: About some symmetries of negation. The Journal of Symbolic Logic. 59, 473-485 (1994).
: Executable models for analysis and implementation of complex systems. Proceedings of Information Conference of Swiss Priority Programme Informatics Research 1992–1996, Module 1: Secure Distributed Systems (1994).
1993
Jäger, G.: Fixed points in Peano arithmetic with ordinals. Annals of Pure and Applied Logic. 60, 119-132 (1993).
Jäger, G.: Some proof-theoretic aspects of logic programming. In: Logic and Algebra of Specification. pp. 113-142. Springer (1993).
: Systems of explicit mathematics with non-constructive $μ$-operator. Part I. Annals of Pure and Applied Logic. 65, 243-263 (1993).
: The Basic Logic of Proofs. In: Computer Science Logic, 6th Workshop, CSL'92, San Miniato, Italy, September 28–October 2, 1992, Selected Papers. pp. 14-28. Springer (1993).
: The defining power of stratified and hierarchical logic programs. Journal of Logic Programming. 15, 55-77 (1993).