Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If You Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.

Minimal Predicates. Fixed-Points, and Definability

Johan Van Benthem
The Journal of Symbolic Logic
Vol. 70, No. 3 (Sep., 2005), pp. 696-712
Stable URL: http://www.jstor.org/stable/27588390
Page Count: 17
  • Read Online (Free)
  • Download ($10.00)
  • Subscribe ($19.50)
  • Cite this Item
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Minimal Predicates. Fixed-Points, and Definability
Preview not available

Abstract

Minimal predicates P satisfying a given first-order description ϕ(P) occur widely in mathematical logic and computer science. We give an explicit first-order syntax for special first-order 'PIA conditions' ϕ(P) which quarantees unique existence of such minimal predicates. Our main technical result is a preservation theorem showing PIA-conditions to be expressively complete for all those first-order formulas that are preserved under a natural model-theoretic operation of 'predicate intersection'. Next, we show how iterated predicate minimization on PIA-conditions yields a language MIN(FO) equal in expressive power to LFP(FO), first-order logic closed under smallest fixed-points for monotone operations. As a concrete illustration of these notions, we show how our sort of predicate minimization extends the usual frame correspondence theory of modal logic, leading to a proper hierarchy of modal axioms: first-order-definable, first-order fixed-point definable, and beyond.

Page Thumbnails

  • Thumbnail: Page 
696
    696
  • Thumbnail: Page 
697
    697
  • Thumbnail: Page 
698
    698
  • Thumbnail: Page 
699
    699
  • Thumbnail: Page 
700
    700
  • Thumbnail: Page 
701
    701
  • Thumbnail: Page 
702
    702
  • Thumbnail: Page 
703
    703
  • Thumbnail: Page 
704
    704
  • Thumbnail: Page 
705
    705
  • Thumbnail: Page 
706
    706
  • Thumbnail: Page 
707
    707
  • Thumbnail: Page 
708
    708
  • Thumbnail: Page 
709
    709
  • Thumbnail: Page 
710
    710
  • Thumbnail: Page 
711
    711
  • Thumbnail: Page 
712
    712