Geodesic
On many-sorted $\omega $-categorical theories
Enrique Casanovas1 ; Rodrigo Peláez2 ; Martin Ziegler3
1 Department of Logic, History and Philosophy of Science University of Barcelona Montalegre 5 08001 Barcelona, Spain
2 Department of Logic, History and Philosopy of Science University of Barcelona Montalegre 5, 08001 Barcelona, Spain
3 Mathematisches Institut Albert-Ludwigs-Universität Freiburg D-79104 Freiburg, Germany
Fundamenta Mathematicae, Tome 214 (2011) no. 3, pp. 285-294.

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

We prove that every many-sorted $\omega $-categorical theory is completely interpretable in a one-sorted $\omega $-categorical theory. As an application, we give a short proof of the existence of non-$G$-compact $\omega $-categorical theories.
DOI : 10.4064/fm214-3-5
Keywords: prove every many sorted omega categorical theory completely interpretable one sorted omega categorical theory application short proof existence non g compact omega categorical theories

Enrique Casanovas 1 ; Rodrigo Peláez 2 ; Martin Ziegler 3

1 Department of Logic, History and Philosophy of Science University of Barcelona Montalegre 5 08001 Barcelona, Spain
2 Department of Logic, History and Philosopy of Science University of Barcelona Montalegre 5, 08001 Barcelona, Spain
3 Mathematisches Institut Albert-Ludwigs-Universität Freiburg D-79104 Freiburg, Germany 
@article{10_4064_fm214_3_5,
     author = {Enrique Casanovas and Rodrigo Pel\'aez and Martin Ziegler},
     title = {On many-sorted $\omega $-categorical theories},
     journal = {Fundamenta Mathematicae},
     pages = {285--294},
     publisher = {mathdoc},
     volume = {214},
     number = {3},
     year = {2011},
     doi = {10.4064/fm214-3-5},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm214-3-5/}
}
TY  - JOUR
AU  - Enrique Casanovas
AU  - Rodrigo Peláez
AU  - Martin Ziegler
TI  - On many-sorted $\omega $-categorical theories
JO  - Fundamenta Mathematicae
PY  - 2011
SP  - 285
EP  - 294
VL  - 214
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm214-3-5/
DO  - 10.4064/fm214-3-5
LA  - en
ID  - 10_4064_fm214_3_5
ER  - 
%0 Journal Article
%A Enrique Casanovas
%A Rodrigo Peláez
%A Martin Ziegler
%T On many-sorted $\omega $-categorical theories
%J Fundamenta Mathematicae
%D 2011
%P 285-294
%V 214
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm214-3-5/
%R 10.4064/fm214-3-5
%G en
%F 10_4064_fm214_3_5
Enrique Casanovas; Rodrigo Peláez; Martin Ziegler. On many-sorted $\omega $-categorical theories. Fundamenta Mathematicae, Tome 214 (2011) no. 3, pp. 285-294. doi : 10.4064/fm214-3-5. http://geodesic.mathdoc.fr/articles/10.4064/fm214-3-5/

Cité par Sources :