机构:
Univ Claude Bernard, Inst Camille Jordan, 43,Blvd 11 Novembre 1918, F-69622 Villeurbanne, FranceUniv Claude Bernard, Inst Camille Jordan, 43,Blvd 11 Novembre 1918, F-69622 Villeurbanne, France
Poizat, Bruno
[1
]
Yeshkeyev, Aibat
论文数: 0引用数: 0
h-index: 0
机构:
EA Buketov State Univ, Univ St 28, Qaraghandy 100028, KazakhstanUniv Claude Bernard, Inst Camille Jordan, 43,Blvd 11 Novembre 1918, F-69622 Villeurbanne, France
Yeshkeyev, Aibat
[2
]
机构:
[1] Univ Claude Bernard, Inst Camille Jordan, 43,Blvd 11 Novembre 1918, F-69622 Villeurbanne, France
[2] EA Buketov State Univ, Univ St 28, Qaraghandy 100028, Kazakhstan
Model theory;
inductive limit;
compactness;
Jonsson theory;
amalgams;
D O I:
10.1007/s11787-018-0185-8
中图分类号:
B81 [逻辑学(论理学)];
学科分类号:
010104 ;
010105 ;
摘要:
This paper is a general introduction to Positive Logic, where only what we call h-inductive sentences are under consideration, allowing the extension to homomorphisms of model-theoric notions which are classically associated to embeddings; in particular, the existentially closed models, that were primitively defined by Abraham Robinson, become here positively closed models. It accounts for recent results in this domain, and is oriented towards the positivisation of Jonsson theories.
机构:
Univ Roma Tor Vergata, Dipartimento Distribut Matemat, Viale Ric Sci, I-00133 Rome, ItalyUniv Roma Tor Vergata, Dipartimento Distribut Matemat, Viale Ric Sci, I-00133 Rome, Italy