Search results for 'Günter Kahle' (try it on Scholar)

102 found
Sort by:
  1. Bernd Buldt, Volker Halbach & Reinhard Kahle (2005). Reflections on Frege and Hilbert. Synthese 147 (1):1 - 2.score: 30.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Reinhard Kahle (2002). Mathematical Proof Theory in the Light of Ordinal Analysis. Synthese 133 (1/2):237 - 255.score: 30.0
    We give an overview of recent results in ordinal analysis. Therefore, we discuss the different frameworks used in mathematical proof-theory, namely "subsystem of analysis" including "reverse mathematics", "Kripke-Platek set theory", "explicit mathematics", "theories of inductive definitions", "constructive set theory", and "Martin-Löf's type theory".
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Reinhard Kahle & Peter Schroeder-Heister (2006). Introduction: Proof-Theoretic Semantics. Synthese 148 (3):503-506.score: 30.0
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Madayo Kahle (2012). Pániker, Agustín, "El sueño de Shitala: Viaje al mundo de las religiones". [REVIEW] 'Ilu. Revista de Ciencias de Las Religiones 17:273-274.score: 30.0
    No categories
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. D. Guenter (2000). Ethical Considerations in International HIV Vaccine Trials: Summary of a Consultative Process Conducted by the Joint United Nations Programme on HIV/AIDS (UNAIDS). Journal of Medical Ethics 26 (1):37-43.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Reinhard Kahle (2007). Edwin D. Mares, Relevant Logic—a Philosophical Interpretation. Studia Logica 85 (3):419-424.score: 30.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Reinhard Kahle (forthcoming). What is a Proof? Axiomathes:1-13.score: 30.0
    In this programmatic paper we renew the well-known question “What is a proof?”. Starting from the challenge of the mathematical community by computer assisted theorem provers we discuss in the first part how the experiences from examinations of proofs can help to sharpen the question. In the second part we have a look to the new challenge given by “big proofs”.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Reinhard Kahle (2006). A Proof-Theoretic View of Necessity. Synthese 148 (3):659 - 673.score: 30.0
    We give a reading of binary necessity statements of the form “ϕ is necessary for ψ” in terms of proofs. This reading is based on the idea of interpreting such statements as “Every proof of ψ uses ϕ”.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  9. Gerhard Jäger, Reinhard Kahle & Thomas Studer (2001). Universes in Explicit Mathematics. Annals of Pure and Applied Logic 109 (3):141-162.score: 30.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Carla C. Johnson, Jane Butler Kahle & Jamison D. Fargo (2007). Effective Teaching Results in Increased Science Achievement for All Students. Science Education 91 (3):371-383.score: 30.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Wilhelm Kahle (1972). F. Vyncke, De Godsdienst der Slaven - Reihe: De Godsdiensten der Mensheid, Hrsgb. G. J. F. Bouritius Verlag J. J. Romen & Zonen Roermond 1969. 8 Bildbeilagen, 17 Zeichnungen 200 pp. [REVIEW] Zeitschrift für Religions- Und Geistesgeschichte 24 (4):362-363.score: 30.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Reinhard Kahle (2007). Freek Wiedijk (Ed.), The Seventeen Provers of the World. Studia Logica 87 (2-3):369-374.score: 30.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. Reinhard Kahle (2001). Truth in Applicative Theories. Studia Logica 68 (1):103-128.score: 30.0
    We give a survey on truth theories for applicative theories. It comprises Frege structures, universes for Frege structures, and a theory of supervaluation. We present the proof-theoretic results for these theories and show their syntactical expressive power. In particular, we present as a novelty a syntactical interpretation of ID1 in a applicative truth theory based on supervaluation.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  14. Reinhard Kahle (2011). The Universal Set and Diagonalization in Frege Structures. Review of Symbolic Logic 4 (2):205-218.score: 30.0
    In this paper we summarize some results about sets in Frege structures. The resulting set theory is discussed with respect to its historical and philosophical significance. This includes the treatment of diagonalization in the presence of a universal set.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. Reinhard Kahle (2003). Universes Over Frege Structures. Annals of Pure and Applied Logic 119 (1-3):191-223.score: 30.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. Jesse Alama & Reinhard Kahle (2013). Computing with Mathematical Arguments. In Hanne Andersen, Dennis Dieks, Wenceslao González, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer Verlag. 9--22.score: 30.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Wilfried Buchholz & Reinhard Kahle (2005). Preface. Annals of Pure and Applied Logic 133 (1-3):1.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. W. Burr, V. Hartung & Reinhard Kahle (2001). REVIEWS-Two Papers. Bulletin of Symbolic Logic 7 (4):532-533.score: 30.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Gail Coover, Dale Guenter, Elizabeth Clark, Janet Hortin, Joseph F. O’Donnell, Michael W. Rabow, Rachel N. Remen, Aanand D. Naik, Krista Hirschmann & Nancy Berlinger (2007). Medical Encounter. Complexity 21 (1).score: 30.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. 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.score: 30.0
    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  
  21. Wilhelm Kahle (1972). Hans-Heinrich Nolte: Religiöse Toleranz in Rußland 1600-1725, Göttinger Bausteine zur Geschichtswissenschaft Bd. 41. Musterschmidt-Verlag, Göttingen 1969, 216 pp. [REVIEW] Zeitschrift für Religions- Und Geistesgeschichte 24 (1):85-86.score: 30.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Günter Kahle (1972). The Third Reich and Argentina. The Diplomatic Relations with Special Reference to the Trade Policy (1933–1939). Philosophy and History 5 (2):197-198.score: 30.0
  23. Jane Butler Kahle (1985). Women Biologists: A View and a Vision. BioScience 35 (4):230-234.score: 30.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  24. Wilhelm Kahle (1971). Zar Nikolaj I. Zeitschrift für Religions- Und Geistesgeschichte 23 (3):220-244.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. Jose L. Bermiidez, Nino Cocchiarella, Dirk Greimann, Leila Haaparanta, Ludger Jansen, Dale Jacquette, Reinhard Kahle, Franz von Kutschera, Wolfgang Neuser & Priv Doz Dr Christof Rapp (2001). Liste der Autoren List of Contributors. Logical Analysis and History of Philosophy 4:239.score: 30.0
    No categories
     
    My bibliography  
     
    Export citation  
  26. G. JaKger, R. Kahle & T. Studer (2001). AsperoH, D. And Bagaria, J., Bounded Forcing Axioms and the Continuum (3) 179} 203 Bagaria, J., See AsperoH, D.(3) 179} 203 Balcar, B. And Simon, P., The Name for Kojman} Shelah Collapsing Function (1} 2) 131} 137. [REVIEW] Annals of Pure and Applied Logic 109:243.score: 30.0
    No categories
     
    My bibliography  
     
    Export citation  
  27. Reinhard Kahle & Isabel Oitavem (2013). Applicative Theories for the Polynomial Hierarchy of Time and its Levels. Annals of Pure and Applied Logic 164 (6):663-675.score: 30.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. Wilhelm Kahle (1965). Über den Begriff. Zeitschrift für Religions- Und Geistesgeschichte 17 (3):206-234.score: 30.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. Reinhard Kahle (2001). Burr Wolfgang and Hartung Volker. A Characterization of the Σ1-Definable Functions of KPω+(Uniform AC). Archive for Mathematical Logic, Vol. 37 No. 3 (1998), Pp. 199–214. Burr Wolfgang. A Diller—Nahm-Style Functional Interpretation of KPω. Archive for Mathematical Logic, Vol. 39 No. 8 (2000), Pp. 599–604. [REVIEW] Bulletin of Symbolic Logic 7 (4):532-533.score: 30.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Wilhelm Kahle (1972). Basilius Zenkowsky: Hilarion Petzold, Das Bild des Menschen im Lichte der orthodoxen Anthropologie. Oekumenischer Verlag Dr. R. F. Edel, Marburg/Lahn 1969. Reihe: Orthodoxe Beiträge 139 pp. [REVIEW] Zeitschrift für Religions- Und Geistesgeschichte 24 (1):86-86.score: 30.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. Wilhelm Kahle (1977). Der "Evangelische Ruf" des Bundes der Evangeliumschristen - Ein Dokument protestantisch-orthodoxer Begegnung- Für Ernst Benz zur Vollendung des 70. Lebensjahres. Zeitschrift für Religions- Und Geistesgeschichte 29 (1):305-324.score: 30.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Wilhelm Kahle (1960). Die orthodoxe Kirche des Ostens im Spiegel der deutschen evangelischen Kirchenzeitungen während der zweiten Hälfte des 19. Jahrhunderts. Zeitschrift für Religions- Und Geistesgeschichte 12 (3):219-241.score: 30.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. Wilhelm Kahle (1969). Der Protestantismus in Rußland Und in der Sowjetunion. Zeitschrift für Religions- Und Geistesgeschichte 21 (4):330-345.score: 30.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. Wilhelm Kahle (1972). - Ein Beitrag zur Theologie- und Geistesgeschichte des 19. Jahrhunderts. Zeitschrift für Religions- Und Geistesgeschichte 24 (4):289-315.score: 30.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. Reinhard Kahle (ed.) (2005). Intensionality: An Interdisciplinary Discussion. AK Peters.score: 30.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  36. Reinhard Kahle & Peter Schroeder-Heister (2006). Introduction to Proof Theoretic Semantics. Special Issue Of. Synthese 148.score: 30.0
    No categories
     
    My bibliography  
     
    Export citation  
  37. Madayo Kahle (2010). Los ciclos cósmicos y la imagen del continuo renacer en los Vedas. 'Ilu. Revista de Ciencias de Las Religiones 15:105-128.score: 30.0
    Los ciclos de la naturaleza han marcado profundamente tanto la cosmovisión reflejada en los himnos védicos como el desarrollo del ritualismo brahmánico. Siguiendo un progresivo proceso de abstracción, el hombre asocia cada vez más su destino a estos ciclos cósmicos lo que conduce a la doctrina de la transmigración de las almas.
    Translate to English
    | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  38. Wilhelm Kahle (1972). Michael Lehmann: Leitfaden der Ostkirchen. Sammlung "Aus Christentum und Kultur". Verlag Brüder Hollinek, Wien 1969, 164 pp. [REVIEW] Zeitschrift für Religions- Und Geistesgeschichte 24 (1):84-85.score: 30.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. Reinhard Kahle (2000). N \Hbox{\Sf N} -Strictness in Applicative Theories. Archive for Mathematical Logic 39 (2):125-144.score: 30.0
    We study the logical relationship of various forms of induction, as well as quantification operators in applicative theories. In both cases the introduced notion of $\hbox{\sf N}$ -strictness allows us to obtain the appropriate results.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  40. Wilhelm Kahle (1964). Pilgerschaft und Wallfahrt in der Geschichte evangelischer Frömmigkeit. Zeitschrift für Religions- Und Geistesgeschichte 16 (4):314-332.score: 30.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. Reinhard Kahle (2001). Review: Wolfgang Burr, Volker Hartung, A Characterization of the $Sigma_1$-Definable Functions of KP$Omega$ + (Uniform AC). [REVIEW] Bulletin of Symbolic Logic 7 (4):532-533.score: 30.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. Reinhard Kahle (2004). Structured Belief Bases. Logic and Logical Philosophy 10:45.score: 30.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  43. Ana Isabel Jiménez San Cristóbal (2012). Bernábé, Alberto – Kahle, Madayo – Santamaría, Marco Antonio (eds.), "Reencarnación. La transmigración de las almas entre Oriente y Occidente.". [REVIEW] 'Ilu. Revista de Ciencias de Las Religiones 17:260-264.score: 15.0
    No categories
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  44. Ernest Wolf-Gazo (1979). Prozess Und Realitaet. Entwurf Einer Kosmologie. Uebersetzt Und Mit Einem Nachwort Versehen von Hans-Guenter Holl. Process Studies 9 (3-4):134-137.score: 15.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  45. Ann P. Woodhull-McNeal (1987). Educating Women in Science Women in Science: A Report From the Field Jane Butler Kahle. BioScience 37 (7):515-516.score: 15.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. Hanno Botsch (2009). Die Burg Waldeck Festivals 1964-1969. Chanson, Folklore International. Mit Beiträgen von Eckard Holler, Hanns Dieter Hüsch, Jürgen Kahle, Diethart Kerbs, helm König, Oss & Hein Kröher, Carsten Linde, Thomas Rothschild, Lothar Sauer, Hotte Schneider. [REVIEW] Zeitschrift für Religions- Und Geistesgeschichte 61 (2):203-205.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. C. J. Lawrence (2002). Review of'Mending Bodies, Saving Souls. A History of Hospitals' by Guenter B. Risse (New York and Oxford: Oxford University Press, 1999). [REVIEW] Annals of Science 59:219.score: 15.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. Rudolf A. Makkreel (1992). Response to Guenter Zoeller. Philosophy Today 36 (3):276-280.score: 15.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  49. Bernd Buldt (2005). Bernd Buldt, Volker Halbach and Reinhard Kahle/Reflections on Frege and Hilbert Fernando Ferreira/Amending Frege's Grundgesetze der Arithmetik Bob Hale/Real Numbers and Set Theory–Extending The. Synthese 147 (1):549-550.score: 15.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Vito F. Sinisi (1968). Guenter Sieburth 1929-1969. Proceedings and Addresses of the American Philosophical Association 42:178 -.score: 15.0
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 102