10 found
Order:
  1.  20
    (1 other version)A notation system for ordinal using ψ‐functions on inaccessible mahlo numbers.Helmut Pfeiffer & H. Pfeiffer - 1992 - Mathematical Logic Quarterly 38 (1):431-456.
    G. Jäger gave in Arch. Math. Logik Grundlagenforsch. 24 , 49-62, a recursive notation system on a basis of a hierarchy Iαß of α-inaccessible regular ordinals using collapsing functions following W. Buchholz in Ann. Pure Appl. Logic 32 , 195-207. Jäger's system stops, when ordinals α with Iα0 = α enter. This border is now overcome by introducing additional a hierarchy Jαß of weakly inaccessible Mahlo numbers, which is defined similarly to the Jäger hierarchy. An ordinal μ is called Mahlo, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  14
    (1 other version)A theorem on labelled trees and the limits of its provability.Helmut Pfeiffer - 1990 - Mathematical Logic Quarterly 36 (2):107-122.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  15
    Dilettantismus und autoritäres Erzählen Zur Problematik der konservativen Revolution bei Maurice Barres.Helmut Pfeiffer - 2002 - In Wolfgang Klein & Manfred Naumann, Genuss und Egoismus: zur Kritik ihrer geschichtlichen Verknüpfung. Walter de Gruyter. pp. 239-257.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  20
    (1 other version)[Omnibus Review].Helmut Pfeiffer - 1983 - Journal of Symbolic Logic 48 (3):876-877.
  5.  54
    Some System of Predicate Tense Logic.Helmut Pfeiffer - 1985 - Mathematical Logic Quarterly 31 (35-36):557-568.
  6. (1 other version)Jean-Yves Girard. Proof theory and logical complexity. Volume I. Studies in proof theory, no. 1. Bibliopolis, Naples 1987, also distributed by Humanities Press, Atlantic Highlands, N.J., 503 pp. [REVIEW]Helmut Pfeiffer - 1989 - Journal of Symbolic Logic 54 (4):1493-1494.
  7.  90
    Kai F. Wehmeier. Fragments of HA based on Σ1 -induction. Archive for mathematical logic, vol. 37 no. 1 , pp. 37–49. [REVIEW]Helmut Pfeiffer - 2001 - Bulletin of Symbolic Logic 7 (4):532-532.
  8.  79
    S. Feferman and W. Sieg Inductive definitions and subsystems of analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–77. - Solomon Feferman and Wilfried Sieg. Proof theoretic equivalences between classical and constructive theories for analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 78–142. - Solomon Feferman. Iterated inductive fixed-point theories: application to Hancock's conjecture. Patras logic symposion, Proceedings of the logic symposion held at Patras, Greece, August 18–22, 1980, edited by George Metakides, Studies in logic. [REVIEW]Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
  9.  67
    David Isles. Regular ordinals and normal forms. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N. Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 339–361. [REVIEW]Helmut Pfeiffer - 1973 - Journal of Symbolic Logic 38 (2):334-335.
  10.  33
    William E. Ritter. Notation systems and an effective fixed point property. Proceedings of the American Mathematical Society, vol. 17 , pp. 390–395. [REVIEW]Helmut Pfeiffer - 1975 - Journal of Symbolic Logic 40 (4):626.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark