50 found
Sort by:
  1. Gerhard Jäger (2013). Operational Closure and Stability. Annals of Pure and Applied Logic 164 (7-8):813-821.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Gerhard Jäger (2013). Rationalizable Signaling. Erkenntnis:1-34.
    An important finding of the game theoretic research on signaling games is the insight that under many circumstances, a signal obtains credibility by incurring costs to the sender. Therefore it seems questionable whether or not cheap talk—signals that are not payoff relevant—can serve to transmit information among rational agents. This issue is non-trivial in strategic interactions where the preferences of the players are not aligned. Researchers like Crawford & Sobel, Rabin, and Farrell demonstrated, however, that even in the case of (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Michael Franke & Gerhard Jäger (2012). Bidirectional Optimization From Reasoning and Learning in Games. Journal of Logic, Language and Information 21 (1):117-139.
    We reopen the investigation into the formal and conceptual relationship between bidirectional optimality theory (Blutner in J Semant 15(2):115–162, 1998 , J Semant 17(3):189–216, 2000 ) and game theory. Unlike a likeminded previous endeavor by Dekker and van Rooij (J Semant 17:217–242, 2000 ), we consider signaling games not strategic games, and seek to ground bidirectional optimization once in a model of rational step-by-step reasoning and once in a model of reinforcement learning. We give sufficient conditions for equivalence of bidirectional (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Gerhard Jäger & Dieter Probst (2011). The Suslin Operator in Applicative Theories: Its Proof-Theoretic Analysis Via Ordinal Theories. Annals of Pure and Applied Logic 162 (8):647-660.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Gerhard Jäger & Thomas Studer (2011). A Buchholz Rule for Modal Fixed Point Logics. Logica Universalis 5 (1):1-19.
    Buchholz’s Ω μ+1-rules provide a major tool for the proof-theoretic analysis of arithmetical inductive definitions. The aim of this paper is to put this approach into the new context of modal fixed point logic. We introduce a deductive system based on an Ω-rule tailored for modal fixed point logic and develop the basic techniques for establishing soundness and completeness of the corresponding system. In the concluding section we prove a cut elimination and collapsing result similar to that of Buchholz (Iterated (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Gerhard Jäger (2009). Full Operational Set Theory with Unbounded Existential Quantification and Power Set. Annals of Pure and Applied Logic 160 (1):33-52.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Gerhard Jäger (2007). On Feferman's Operational Set Theory. Annals of Pure and Applied Logic 150 (1):19-39.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Gerhard Jäger (2007). The Evolution of Convex Categories. Linguistics and Philosophy 30 (5):551-564.
    Gärdenfors (Conceptual spaces, 2000) argues that the semantic domains that natural language deals with have a geometrical structure. He gives evidence that simple natural language adjectives usually denote natural properties, where a natural property is a convex region of such a “conceptual space.” In this paper I will show that this feature of natural categories need not be stipulated as basic. In fact, it can be shown to be the result of evolutionary dynamics of communicative strategies under very general assumptions.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  9. Gerhard Jäger & Robert van Rooij (2007). Language Structure: Psychological and Social Constraints. Synthese 159 (1):99 - 130.
    In this article we discuss the notion of a linguistic universal, and possible sources of such invariant properties of natural languages. In the first part, we explore the conceptual issues that arise. In the second part of the paper, we focus on the explanatory potential of horizontal evolution. We particularly focus on two case studies, concerning Zipf's Law and universal properties of color terms, respectively. We show how computer simulations can be employed to study the large scale, emergent, consequences of (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Gerhard Jäger & Robert van Rooij (2007). Language Structure: Psychological and Social Constraints. Synthese 159 (1):99 - 130.
    In this article we discuss the notion of a linguistic universal, and possible sources of such invariant properties of natural languages. In the first part, we explore the conceptual issues that arise. In the second part of the paper, we focus on the explanatory potential of horizontal evolution. We particularly focus on two case studies, concerning Zipf’s Law and universal properties of color terms, respectively. We show how computer simulations can be employed to study the large scale, emergent, consequences of (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Luca Alberucci & Gerhard Jäger (2005). About Cut Elimination for Logics of Common Knowledge. Annals of Pure and Applied Logic 133 (1):73-99.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Gerhard Jäger & Dieter Probst (2005). Corrigendum to “Variation on a Theme of Schütte”. Mathematical Logic Quarterly 51 (6):642-642.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Gerhard Jäger & Thomas Strahm (2005). Reflections on Reflections in Explicit Mathematics. Annals of Pure and Applied Logic 136 (1-2):116-133.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Gerhard Jäger (2004). An Intensional Fixed Point Theory Over First Order Arithmetic. Annals of Pure and Applied Logic 128 (1-3):197-213.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Gerhard Jäger (2004). Relationale Grammatik. Journal of Logic, Language and Information 13 (4):521-525.
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. Gerhard Jäger (2004). Residuation, Structural Rules and Context Freeness. Journal of Logic, Language and Information 13 (1):47-59.
    The article presents proofs of the context freeness of a family of typelogical grammars, namely all grammars that are based on a uni- ormultimodal logic of pure residuation, possibly enriched with thestructural rules of Permutation and Expansion for binary modes.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  17. Gerhard Jager & Structural Rules Residuation (2004). Alexander Koller, Ralph Debusmann, Malte Gabsdil, and Kristina Striegnitz/Put My Galakmid Coin Into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game 187–206. Journal of Logic, Language and Information 13:537-539.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Gerhard Jäger (2003). Resource Sharing in Type Logical Grammar. In. In R. Oehrle & J. Kruijff (eds.), Resource Sensitivity, Binding, and Anaphora. Kluwer. 97--121.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Gerhard Jäger (2003). Towards an Explanation of Copula Effects. Linguistics and Philosophy 26 (5):557-593.
    This paper deals with a series of semantic contrasts between the copula be and the preposition as, two functional elements that both head elementary predication structures. It will be argued that the meaning of as is a type lowering device shifting the meaning of its complement NP from the type of generalized quantifiers to the type of properties (where properties are conceived as relations between individuals and situations), while the copula be induces a type coercion from (partial) situations to (total) (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  20. Gerhard Jäger (2002). Some Notes on the Formal Properties of Bidirectional Optimality Theory. Journal of Logic, Language and Information 11 (4):427-451.
    In this paper, we discuss some formal properties of the model ofbidirectional Optimality Theory that was developed inBlutner (2000). We investigate the conditions under whichbidirectional optimization is a well-defined notion, and we give aconceptually simpler reformulation of Blutner's definition. In thesecond part of the paper, we show that bidirectional optimization can bemodeled by means of finite state techniques. There we rely heavily onthe related work of Frank and Satta (1998) about unidirectionaloptimization.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  21. Gerhard Jäger & Thomas Studer (2002). Extending the System of Explicit Mathematics: The Limit and Mahlo Axioms. Annals of Pure and Applied Logic 114 (1-3):79-101.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. Gerhard Jäger (2001). First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo. Journal of Symbolic Logic 66 (3):1073-1089.
    In this paper first order theories for nonmonotone inductive definitions are introduced, and a proof-theoretic analysis for such theories based on combined operator forms a la Richter with recursively inaccessible and Mahlo closure ordinals is given.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  23. Gerhard Jäger, Reinhard Kahle & Thomas Studer (2001). Universes in Explicit Mathematics. Annals of Pure and Applied Logic 109 (3):141-162.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  24. Gerhard Jäger & Thomas Strahm (2001). Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory. Journal of Symbolic Logic 66 (2):935-958.
    In this article we introduce systems for metapredicative Mahlo in explicit mathematics and admissible set theory. The exact upper proof-theoretic bounds of these systems are established.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  25. Gerhard Jäger & Thomas Strahm (2000). Fixed Point Theories and Dependent Choice. Archive for Mathematical Logic 39 (7):493-508.
    In this paper we establish the proof-theoretic equivalence of (i) $\hbox {\sf ATR}$ and $\widehat{\hbox{\sf ID}}_{\omega}$ , (ii) $\hbox{\sf ATR}_0+ (\Sigma^1_1-\hbox{\sf DC})$ and $\widehat{\hbox {\sf ID}}_{<\omega^\omega} , and (iii) $\hbox {\sf ATR}+(\Sigma^1_1-\hbox{\sf DC})$ and $\widehat{\hbox {\sf ID}}_{<\varepsilon_0} $.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  26. Gerhard Jäger, Reinhard Kahle, Anton Setzer & Thomas Strahm (1999). The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. Journal of Symbolic Logic 64 (1):53-67.
    This article provides the proof-theoretic analysis of the transfinitely iterated fixed point theories $\widehat{ID}_\alpha and \widehat{ID}_{ the exact proof-theoretic ordinals of these systems are presented.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  27. Gerhard Jäger & Thomas Strahm (1999). Bar Induction and Ω Model Reflection. Annals of Pure and Applied Logic 97 (1-3):221-230.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. Gerhard Jäger & Robert F. Stärk (1998). A Proof-Theoretic Framework for Logic Programming. In Samuel R. Buss (ed.), Handbook of Proof Theory. Elsevier. 639--682.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Gerhard Jäger (1997). Power Types in Explicit Mathematics? Journal of Symbolic Logic 62 (4):1142-1146.
    In this note it is shown that in explicit mathematics the strong power type axiom is inconsistent with (uniform) elementary comprehension and discuss some general aspects of power types in explicit mathematics.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  30. Solomon Feferman & Gerhard Jäger (1996). Systems of Explicit Mathematics with Non-Constructive Μ-Operator. Part II. Annals of Pure and Applied Logic 79 (1):37-52.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  31. Gerhard Jager & Thomas Strahm (1996). Some Theories with Positive Induction of Ordinal Strength $Varphiomega 0$. Journal of Symbolic Logic 61 (3):818-842.
    This paper deals with: (i) the theory $\mathrm{ID}^{\tt\#}_1$ which results from $\widehat{\mathrm{ID}}_1$ by restricting induction on the natural numbers to formulas which are positive in the fixed point constants, (ii) the theory $\mathrm{BON}(\mu)$ plus various forms of positive induction, and (iii) a subtheory of Peano arithmetic with ordinals in which induction on the natural numbers is restricted to formulas which are $\Sigma$ in the ordinals. We show that these systems have proof-theoretic strength $\varphi\omega 0$.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Gerhard Jäger & Thomas Strahm (1996). Some Theories with Positive Induction of Ordinal Strength Φω. Journal of Symbolic Logic 61 (3):818-842.
    This paper deals with: (i) the theory ID # 1 which results from $\widehat{\mathrm{ID}}_1$ by restricting induction on the natural numbers to formulas which are positive in the fixed point constants, (ii) the theory BON(μ) plus various forms of positive induction, and (iii) a subtheory of Peano arithmetic with ordinals in which induction on the natural numbers is restricted to formulas which are Σ in the ordinals. We show that these systems have proof-theoretic strength φω 0.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  33. Sergei Artemov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger & Albert Visser (1995). Preface. Annals of Pure and Applied Logic 75 (1-2):1.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. Gerhard Jäger & Thomas Strahm (1995). Second Order Theories with Ordinals and Elementary Comprehension. Archive for Mathematical Logic 34 (6):345-375.
    We study elementary second order extensions of the theoryID 1 of non-iterated inductive definitions and the theoryPA Ω of Peano arithmetic with ordinals. We determine the exact proof-theoretic strength of those extensions and their natural subsystems, and we relate them to subsystems of analysis with arithmetic comprehension plusΠ 1 1 comprehension and bar induction without set parameters.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  35. Gerhard Jäger & Thomas Strahm (1995). Totality in Applicative Theories. Annals of Pure and Applied Logic 74 (2):105-120.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  36. Brigitte Hosli & Gerhard Jager (1994). About Some Symmetries of Negation. Journal of Symbolic Logic 59 (2):473 - 485.
    This paper deals with some structural properties of the sequent calculus and describes strong symmetries between cut-free derivations and derivations, which do not make use of identity axioms. Both of them are discussed from a semantic and syntactic point of view. Identity axioms and cuts are closely related to the treatment of negation in the sequent calculus, so the results of this article explain some nice symmetries of negation.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  37. Brigitte Hösli & Gerhard Jäger (1994). About Some Symmetries of Negation. Journal of Symbolic Logic 59 (2):473-485.
    This paper deals with some structural properties of the sequent calculus and describes strong symmetries between cut-free derivations and derivations, which do not make use of identity axioms. Both of them are discussed from a semantic and syntactic point of view. Identity axioms and cuts are closely related to the treatment of negation in the sequent calculus, so the results of this article explain some nice symmetries of negation.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  38. Solomon Feferman & Gerhard Jäger (1993). Systems of Explicit Mathematics with Non-Constructive Μ-Operator. Part I. Annals of Pure and Applied Logic 65 (3):243-263.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. Gerhard Jäger (1993). Fixed Points in Peano Arithmetic with Ordinals. Annals of Pure and Applied Logic 60 (2):119-132.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  40. Gerhard Jager & Barbara Primo (1992). About the Proof-Theoretic Ordinals of Weak Fixed Point Theories. Journal of Symbolic Logic 57 (3):1108 - 1119.
    This paper presents several proof-theoretic results concerning weak fixed point theories over second order number theory with arithmetic comprehension and full or restricted induction on the natural numbers. It is also shown that there are natural second order theories which are proof-theoretically equivalent but have different proof-theoretic ordinals.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  41. Gerhard Jäger & Barbara Primo (1992). About the Proof-Theoretic Ordinals of Weak Fixed Point Theories. Journal of Symbolic Logic 57 (3):1108-1119.
    This paper presents several proof-theoretic results concerning weak fixed point theories over second order number theory with arithmetic comprehension and full or restricted induction on the natural numbers. It is also shown that there are natural second order theories which are proof-theoretically equivalent but have different proof-theoretic ordinals.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  42. Gerhard Jager (1991). Review: Wilfrid Buchholz, Kurt Schutte, Proof Theory of Impredicative Subsystems of Analysis. [REVIEW] Journal of Symbolic Logic 56 (1):332-333.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Gerhard Jäger (1991). Between Constructive Mathematics and PROLOG. Archive for Mathematical Logic 30 (5-6):297-310.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  44. Gerhard Jäger (1991). Buchholz Wilfried and Schütte Kurt. Proof Theory of Impredicative Subsystems of Analysis. Studies in Proof Theory. Bibliopolis, Naples 1988, 122 Pp. [REVIEW] Journal of Symbolic Logic 56 (1):332-333.
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Gerhard Jäger (1986). A Boundedness Theorem in mathrmID1 (W). Journal of Symbolic Logic 51 (4):942 - 947.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  46. Gerhard Jäger (1986). Countable Admissible Ordinals and Dilators. Mathematical Logic Quarterly 32 (25‐30):451-456.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  47. Gerhard Jäger (1986). Theories for Admissible Sets: A Unifying Approach to Proof Theory. Bibliopolis.
     
    My bibliography  
     
    Export citation  
  48. Gerhard Jäger (1984). A Version of Kripke‐Platek Set Theory Which is Conservative Over Peano Arithmetic. Mathematical Logic Quarterly 30 (1‐6):3-9.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  49. Gerhard Jäger (1984). Ρ-Inaccessible Ordinals, Collapsing Functions and a Recursive Notation System. Archive for Mathematical Logic 24 (1):49-62.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Gerhard Jäger (1984). The Strength of Admissibility Without Foundation. Journal of Symbolic Logic 49 (3):867-879.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation