An AEC satisfying the disjoint amalgamation property, has arbitrarily large models
Adi Jarden
Abstract
Open-access reader
Adi Jarden
Abstract
Open-access reader
We study AECs without assuming the amalgamation property in general. We do assume the disjoint amalgamation property in a specific cardinality lambda and assume that there is no maximal model in λ. Under these hypotheses, we prove the following: 1. for every model, M, of cardinality λ, and every μ>λ, we can find a model M^* of cardinality μ, extending M. 2.(λ,λ,μ)-amalgalmation property: for every three models M,N,M^* of cardinalities λ,λ,μ, respectively, if M
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
We study AECs without assuming the amalgamation property in general. We do assume the disjoint amalgamation property in a specific cardinality lambda and assume that there is no maximal model in λ. Under these hypotheses, we prove the following: 1. for every model, M, of cardinality λ, and every μ>λ, we can find a model M^* of cardinality μ, extending M. 2.(λ,λ,μ)-amalgalmation property: for every three models M,N,M^* of cardinalities λ,λ,μ, respectively, if M
Key concepts: Cardinality (data modeling), Disjoint sets, Property (philosophy), Combinatorics, Mathematics, Discrete mathematics, Lambda, Computer science