Amalgamation properties and finite models in \(L^n\)-theories (Q1407532): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Import recommendations run Q6534273
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1007/s001530100106 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1007/S001530100106 / rank
 
Normal rank
Property / Recommended article
 
Property / Recommended article: Finite variable logic, stability and finite models / rank
 
Normal rank
Property / Recommended article: Finite variable logic, stability and finite models / qualifier
 
Similarity Score: 0.8168252
Amount0.8168252
Unit1
Property / Recommended article: Finite variable logic, stability and finite models / qualifier
 
Property / Recommended article
 
Property / Recommended article: Q3172383 / rank
 
Normal rank
Property / Recommended article: Q3172383 / qualifier
 
Similarity Score: 0.72556233
Amount0.72556233
Unit1
Property / Recommended article: Q3172383 / qualifier
 
Property / Recommended article
 
Property / Recommended article: Forking in finite models / rank
 
Normal rank
Property / Recommended article: Forking in finite models / qualifier
 
Similarity Score: 0.6806786
Amount0.6806786
Unit1
Property / Recommended article: Forking in finite models / qualifier
 
Property / Recommended article
 
Property / Recommended article: DOP and FCP in generic structures / rank
 
Normal rank
Property / Recommended article: DOP and FCP in generic structures / qualifier
 
Similarity Score: 0.65974826
Amount0.65974826
Unit1
Property / Recommended article: DOP and FCP in generic structures / qualifier
 
Property / Recommended article
 
Property / Recommended article: Super/rosy \(L^k\)-theories and classes of finite structures / rank
 
Normal rank
Property / Recommended article: Super/rosy \(L^k\)-theories and classes of finite structures / qualifier
 
Similarity Score: 0.64414495
Amount0.64414495
Unit1
Property / Recommended article: Super/rosy \(L^k\)-theories and classes of finite structures / qualifier
 
Property / Recommended article
 
Property / Recommended article: Failure of <b> <i>n</i> </b> -uniqueness: a family of examples / rank
 
Normal rank
Property / Recommended article: Failure of <b> <i>n</i> </b> -uniqueness: a family of examples / qualifier
 
Similarity Score: 0.6440236
Amount0.6440236
Unit1
Property / Recommended article: Failure of <b> <i>n</i> </b> -uniqueness: a family of examples / qualifier
 
Property / Recommended article
 
Property / Recommended article: Q4013612 / rank
 
Normal rank
Property / Recommended article: Q4013612 / qualifier
 
Similarity Score: 0.64116734
Amount0.64116734
Unit1
Property / Recommended article: Q4013612 / qualifier
 
Property / Recommended article
 
Property / Recommended article: Q4296712 / rank
 
Normal rank
Property / Recommended article: Q4296712 / qualifier
 
Similarity Score: 0.6381116
Amount0.6381116
Unit1
Property / Recommended article: Q4296712 / qualifier
 
Property / Recommended article
 
Property / Recommended article: Stable theories with a new predicate / rank
 
Normal rank
Property / Recommended article: Stable theories with a new predicate / qualifier
 
Similarity Score: 0.6373797
Amount0.6373797
Unit1
Property / Recommended article: Stable theories with a new predicate / qualifier
 
Property / Recommended article
 
Property / Recommended article: A general condition for collapse results / rank
 
Normal rank
Property / Recommended article: A general condition for collapse results / qualifier
 
Similarity Score: 0.6327518
Amount0.6327518
Unit1
Property / Recommended article: A general condition for collapse results / qualifier
 

Latest revision as of 20:19, 27 January 2025

scientific article
Language Label Description Also known as
English
Amalgamation properties and finite models in \(L^n\)-theories
scientific article

    Statements

    Amalgamation properties and finite models in \(L^n\)-theories (English)
    0 references
    0 references
    0 references
    16 September 2003
    0 references
    The authors extend a result of \textit{M. Djordjević} [J. Symb. Log. 66, 837-858 (2001; Zbl 0992.03041)], namely that a complete relational stable \(L^n\)-theory with amalgamation over sets and finite \(S^n_n\) has a finite model, and every finite set in an infinite model is contained in an \(L^n\)-elementary finite substructure. In particular, they prove the result for general languages (allowing functions), and weaken the amalgamation hypothesis to amalgamation over closed sets, the joint embedding property, plus the property (H1) that two closed tuples with the same \(L^n\)-type over an \(L^n\)-elementary substructure \(N\) have the same \(L^n\)-type together with \(N\), over \(\text{cl}(\emptyset)\). Closure here can be trivial, closure under the functions of the language, or some other suitable closure inside the algebraic closure. In a second section they show that for a stable \(L^n\)-theory with the amalgamation property and (H1), a finite model has arbitrarily large finite \(L^n\)-elementary extensions if and only if it has an infinite one. The proofs are straightforward from a close inspection of Djordjević's arguments.
    0 references
    \(L^n\)-theory
    0 references
    stability
    0 references
    amalgamation property
    0 references
    finite models
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references