On finite rigid structures

Yuri Gurevich; Saharon Shelah

doi:10.2307/2275675

On finite rigid structures

Yuri Gurevich^*, Saharon Shelah

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

43 Scopus citations

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.

Original language	English
Pages (from-to)	549-562
Number of pages	14
Journal	Journal of Symbolic Logic
Volume	61
Issue number	2
DOIs	https://doi.org/10.2307/2275675
State	Published - Jun 1996

Access to Document

10.2307/2275675

Cite this

@article{cda46816077741b9b153f769d53c1110,

title = "On finite rigid structures",

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.",

author = "Yuri Gurevich and Saharon Shelah",

year = "1996",

month = jun,

doi = "10.2307/2275675",

language = "אנגלית",

volume = "61",

pages = "549--562",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - On finite rigid structures

AU - Gurevich, Yuri

AU - Shelah, Saharon

PY - 1996/6

Y1 - 1996/6

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0030538668&partnerID=8YFLogxK

U2 - 10.2307/2275675

DO - 10.2307/2275675

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0030538668

SN - 0022-4812

VL - 61

SP - 549

EP - 562

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 2

ER -

On finite rigid structures

Abstract

Access to Document

Other files and links

Fingerprint

Cite this