Geodesic
On many-sorted $\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
Fundamenta Mathematicae, Tome 214 (2011) no. 3, pp. 285-294 Cet article a éte moissonné depuis la source Institute of Mathematics Polish Academy of Sciences

Voir la notice de l'article

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},
     year = {2011},
     volume = {214},
     number = {3},
     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
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
%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

Cité par Sources :