Skip to main content
SpringerLink
Log in

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

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1989 (MFCS 1989)

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. :Barwise, J.: Infinitary Logics (in Modern Logic, Agazzi ed., Reidel, 1980)

    Google Scholar 

  2. :Barwise, J. & Feferman, S. eds: Model-theoretic Logics (Springer-Verlag, 1988)

    Google Scholar 

  3. :Darondeau,P, & Yoccoz,S.: Proof systems for Infinite Behaviours (to appear in Information and Computation)

    Google Scholar 

  4. :Girard, J.Y.: Proof Theory and Logical Complexity (Bibliopolis, 1987)

    Google Scholar 

  5. :Goldblatt,: Axiomatizing the Logic of Computer Programming (Springer-Verlag, LNCS 130,1982)

    Google Scholar 

  6. :Grzegorczyk,A., Mostowski, A. & Ryll-Nardzewski, C.: The classical and ω-complete arithmetic (Journal of Symbolic Logic 23, 1958)

    Google Scholar 

  7. :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. :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. :Mirkowska, G. & Salwicki,A.: Algorithmic Logic (Reidel, 1987)

    Google Scholar 

  10. :Rogers,H.Jr: Theory of recursive functions and effective computability (McGraw-Hill, 1967)

    Google Scholar 

  11. :Schütte, K.: Proof Theory (Springer-Verlag, 1977)

    Google Scholar 

  12. :Takahashi,: A theorem on the second order arithmetic with the ω-rule (Journal of the Mathematical Society of Japan 22, 1970)

    Google Scholar 

  13. :Yoccoz,S.: Constructive aspects of the ω-rule: part 1 (Université de Bordeaux 1, Internal Report, May 1989)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CNRS - Université de Bordeaux 1, 351, Cours de la Libération, 33400, Talence, France

    Serge Yoccoz

Authors
  1. Serge Yoccoz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Antoni Kreczmar Grazyna Mirkowska

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yoccoz, S. (1989). Constructive aspects of the omega-rule : Application to proof systems in computer science and algorithmic logic. In: Kreczmar, A., Mirkowska, G. (eds) Mathematical Foundations of Computer Science 1989. MFCS 1989. Lecture Notes in Computer Science, vol 379. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51486-4_101

Download citation

  • DOI: https://doi.org/10.1007/3-540-51486-4_101

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51486-2

  • Online ISBN: 978-3-540-48176-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation