Skip to main content
SpringerLink
Log in

Fixpoint Alternation and the Game Quantifier

  • Conference paper
  • First Online:
Computer Science Logic (CSL 1999)

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

Included in the following conference series:

Abstract

Drawing on an analogy with temporal fixpoint logic, we relate the arithmetic fixpoint definable sets to the winning positions of certain games, namely games whose winning conditions lie in the difference hierarchy over ∑ 02 . This both provides a simple characterization of the fixpoint hierarchy, and refines existing results on the power of the game quantifier in descriptive set theory.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. U. Bosse, An ‘Ehrenfeucht-Fraiïssé game’ for fixpoint logic and stratified fixpoint logic. Computer science logic, LNCS 702 (San Miniato, 1992) 100–114.

    Chapter  Google Scholar 

  2. J. C. Bradfield, The modal mu-calculus alternation hierarchy is strict, Theor. Comput. Sci. 195 133–153 (1997).

    Article  MathSciNet  Google Scholar 

  3. J. R. Büchi, Using determinancy of games to eliminate quantifers, Proc. FCT’ 77, LNCS 56 367–378 (1977).

    Google Scholar 

  4. E. A. Emerson and C. S. Jutla, Tree automata, mu-calculus and determinacy, in: Proc. FOCS 91. (1991)

    Google Scholar 

  5. R. S. Lubarsky, μ-definable sets of integers, J. Symbolic Logic 58 (1993) 291–313.

    Google Scholar 

  6. Y. N. Moschovakis, Descriptive Set Theory (North-Holland, Amsterdam, 1980).

    Google Scholar 

  7. D. Niwiński, Fixed point characterization of infinite behavior of finite state systems. Theoret. Comput. Sci. 189 (1997) 1–69.

    Article  MathSciNet  Google Scholar 

  8. V. Selivanov, Fine hierarchy of regular ω-languages, Theoret. Comput. Sci. 191 (1998) 37–59.

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Aarhus University, Bygning 540, Ny Munkegade, 8000, Århus C, Denmark

    J. C. Bradfield

  2. LFCS†, Division of Informatics, University of Edinburgh, Edinburgh, UK, EH9 3JZ

    J. C. Bradfield

Authors
  1. J. C. Bradfield
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Mathematisches Institut, Universität Freiburg, Eckerstr. 1, D-79104, Freiburg, Germany

    Jörg Flum

  2. Dpto. de Sistemas Informáticos y Programación Edificio Fac. Matemáticas, Universidad Complutense de Madrid, Av. Complutense s/n, E-28040, Madrid, Spain

    Mario Rodriguez-Artalejo

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bradfield, J.C. (1999). Fixpoint Alternation and the Game Quantifier. In: Flum, J., Rodriguez-Artalejo, M. (eds) Computer Science Logic. CSL 1999. Lecture Notes in Computer Science, vol 1683. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48168-0_25

Download citation

  • DOI: https://doi.org/10.1007/3-540-48168-0_25

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66536-6

  • Online ISBN: 978-3-540-48168-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation