The complete finitely axiomatized theories of order are dense

R. Amit; S. Shelah

doi:10.1007/BF02761800

The complete finitely axiomatized theories of order are dense

R. Amit^*, S. Shelah

^*Corresponding author for this work

Einstein Institute of Mathematics

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

6 Scopus citations

Abstract

We prove a conjecture of Lauchli and Leonard that every sentence of the theory of linear order which has a model, has a model with a finitely axiomatized theory.

Original language	English
Pages (from-to)	200-208
Number of pages	9
Journal	Israel Journal of Mathematics
Volume	23
Issue number	3-4
DOIs	https://doi.org/10.1007/BF02761800
State	Published - Sep 1976

Access to Document

10.1007/BF02761800

Cite this

@article{1286ba1874924d8784344ed4c218b964,

title = "The complete finitely axiomatized theories of order are dense",

abstract = "We prove a conjecture of Lauchli and Leonard that every sentence of the theory of linear order which has a model, has a model with a finitely axiomatized theory.",

author = "R. Amit and S. Shelah",

year = "1976",

month = sep,

doi = "10.1007/BF02761800",

language = "אנגלית",

volume = "23",

pages = "200--208",

journal = "Israel Journal of Mathematics",

issn = "0021-2172",

publisher = "Springer New York",

number = "3-4",

}

TY - JOUR

T1 - The complete finitely axiomatized theories of order are dense

AU - Amit, R.

AU - Shelah, S.

PY - 1976/9

Y1 - 1976/9

N2 - We prove a conjecture of Lauchli and Leonard that every sentence of the theory of linear order which has a model, has a model with a finitely axiomatized theory.

AB - We prove a conjecture of Lauchli and Leonard that every sentence of the theory of linear order which has a model, has a model with a finitely axiomatized theory.

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

U2 - 10.1007/BF02761800

DO - 10.1007/BF02761800

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

AN - SCOPUS:51249191407

SN - 0021-2172

VL - 23

SP - 200

EP - 208

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

IS - 3-4

ER -

The complete finitely axiomatized theories of order are dense

Abstract

Access to Document

Other files and links

Fingerprint

Cite this