19 found
Order:
  1.  14
    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.  36
    A notation system for ordinal using ψ-functions on inaccessible mahlo numbers.Helmut Pfeiffer & H. Pfeiffer - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):431-456.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  7
    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  
  4.  24
    A theorem on labelled trees and the limits of its provability.Helmut Pfeiffer - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (2):107-122.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  7
    Dilettantismus und autoritäres Erzählen Zur Problematik der konservativen Revolution bei Maurice Barres.Helmut Pfeiffer - 2002 - In Ernst Müller & Wolfgang Klein (eds.), Genuß Und Egoismus: Zur Kritik Ihrer Geschichtlichen Verknüpfung. Akademie Verlag. pp. 239-257.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  5
    Feferman Solomon. Systems of predicative analysis, II: representations of ordinals.Helmut Pfeiffer - 1983 - Journal of Symbolic Logic 48 (3):876-877.
  7.  9
    [Omnibus Review].Helmut Pfeiffer - 1983 - Journal of Symbolic Logic 48 (3):876-877.
  8.  6
    Some System of Predicate Tense Logic.Helmut Pfeiffer - 1985 - Mathematical Logic Quarterly 31 (35‐36):557-568.
  9.  30
    Some System of Predicate Tense Logic.Helmut Pfeiffer - 1985 - Mathematical Logic Quarterly 31 (35-36):557-568.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  10
    Archive for Mathematical Logic. [REVIEW]Helmut Pfeiffer - 2001 - Bulletin of Symbolic Logic 7 (4):532-532.
  11.  20
    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.
  12.  36
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  26
    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.
  14.  22
    Review: David Isles, A. Kino, J. Myhill, R. E. Vesley, Regular Ordinals and Normal Forms. [REVIEW]Helmut Pfeiffer - 1973 - Journal of Symbolic Logic 38 (2):334-335.
  15.  24
    Kai F. Wehmeier. Fragments of HA based on Σ 1 -induction. Archive for mathematical logic, vol. 37 no. 1 (1997), pp. 37–49. [REVIEW]Helmut Pfeiffer - 2001 - Bulletin of Symbolic Logic 7 (4):532-532.
  16.  14
    Review: Wilfried Buchholz, Wolfram Pohlers, Wilfried Sieg, Iterated Inductive Definitions and Subsystems of Analysis. [REVIEW]Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
  17.  6
    Review: William E. Ritter, Notation Systems and an Effective Fixed Point Property. [REVIEW]Helmut Pfeiffer - 1975 - Journal of Symbolic Logic 40 (4):626-626.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  39
    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.
  19.  10
    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 (3 more)  
     
    Export citation  
     
    Bookmark