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.

On Finite Rigid Structures

Yuri Gurevich and Saharon Shelah
The Journal of Symbolic Logic
Vol. 61, No. 2 (Jun., 1996), pp. 549-562
DOI: 10.2307/2275675
Stable URL: http://www.jstor.org/stable/2275675
Page Count: 14
  • 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.
On Finite Rigid Structures
Preview not available

Abstract

The main result of this paper is a probabilistic construction of finite rigid structures. It yields a finitely axiomatizable class of finite rigid structures where no Lω∞,ω formula with counting quantifiers defines a linear order.

Page Thumbnails

  • Thumbnail: Page 
549
    549
  • Thumbnail: Page 
550
    550
  • Thumbnail: Page 
551
    551
  • Thumbnail: Page 
552
    552
  • Thumbnail: Page 
553
    553
  • Thumbnail: Page 
554
    554
  • Thumbnail: Page 
555
    555
  • Thumbnail: Page 
556
    556
  • Thumbnail: Page 
557
    557
  • Thumbnail: Page 
558
    558
  • Thumbnail: Page 
559
    559
  • Thumbnail: Page 
560
    560
  • Thumbnail: Page 
561
    561
  • Thumbnail: Page 
562
    562