Constructive aspects of the omega-rule : Application to proof systems in computer science and algorithmic logic

  • Serge Yoccoz
Part of the Lecture Notes in Computer Science book series (LNCS, volume 379)


Proof System Recursive Function Proof Theory Sequent Calculus Conservative Extension 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BA]
    :Barwise, J.: Infinitary Logics (in Modern Logic, Agazzi ed., Reidel, 1980)Google Scholar
  2. [BF]
    :Barwise, J. & Feferman, S. eds: Model-theoretic Logics (Springer-Verlag, 1988)Google Scholar
  3. [DY]
    :Darondeau,P, & Yoccoz,S.: Proof systems for Infinite Behaviours (to appear in Information and Computation)Google Scholar
  4. [Gi]
    :Girard, J.Y.: Proof Theory and Logical Complexity (Bibliopolis, 1987)Google Scholar
  5. [Go]
    :Goldblatt,: Axiomatizing the Logic of Computer Programming (Springer-Verlag, LNCS 130,1982)Google Scholar
  6. [GMR]
    :Grzegorczyk,A., Mostowski, A. & Ryll-Nardzewski, C.: The classical and ω-complete arithmetic (Journal of Symbolic Logic 23, 1958)Google Scholar
  7. [KMS]
    :Kreisel,G., Mints,G. & Simpson,S.: The use of abstract language in elementary mathematics: some pedagogic examples (Logic Colloquium, Boston, Springer-Verlag LNM 453, 1975)Google Scholar
  8. [L-E]
    :Lopez-Escobar,: Infinite Rules in Finite Systems (in Non-classical Logics, Model Theory and Computability, Arruda, Da Costa and Chuaqui eds, North-Holland Studies in Logic 89, 1977)Google Scholar
  9. [MS]
    :Mirkowska, G. & Salwicki,A.: Algorithmic Logic (Reidel, 1987)Google Scholar
  10. [Ro]
    :Rogers,H.Jr: Theory of recursive functions and effective computability (McGraw-Hill, 1967)Google Scholar
  11. [S]
    :Schütte, K.: Proof Theory (Springer-Verlag, 1977)Google Scholar
  12. [Ta]
    :Takahashi,: A theorem on the second order arithmetic with the ω-rule (Journal of the Mathematical Society of Japan 22, 1970)Google Scholar
  13. [Y]
    :Yoccoz,S.: Constructive aspects of the ω-rule: part 1 (Université de Bordeaux 1, Internal Report, May 1989)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Serge Yoccoz
    • 1
  1. 1.CNRS - Université de Bordeaux 1TalenceFrance

Personalised recommendations