On many-sorted ω-categorical theories
Enrique Casanovas; Rodrigo Peláez; Martin Ziegler
Fundamenta Mathematicae (2011)
- Volume: 214, Issue: 3, page 285-294
- ISSN: 0016-2736
Access Full Article
top
Abstract
topHow to cite
topEnrique Casanovas, Rodrigo Peláez, and Martin Ziegler. "On many-sorted ω-categorical theories." Fundamenta Mathematicae 214.3 (2011): 285-294. <http://eudml.org/doc/282773>.
@article{EnriqueCasanovas2011,
abstract = {We prove that every many-sorted ω-categorical theory is completely interpretable in a one-sorted ω-categorical theory. As an application, we give a short proof of the existence of non-G-compact ω-categorical theories.},
author = {Enrique Casanovas, Rodrigo Peláez, Martin Ziegler},
journal = {Fundamenta Mathematicae},
keywords = {many-sorted structures; -categoricity; -compactness; strong order property; stably embedded predicates},
language = {eng},
number = {3},
pages = {285-294},
title = {On many-sorted ω-categorical theories},
url = {http://eudml.org/doc/282773},
volume = {214},
year = {2011},
}
TY - JOUR
AU - Enrique Casanovas
AU - Rodrigo Peláez
AU - Martin Ziegler
TI - On many-sorted ω-categorical theories
JO - Fundamenta Mathematicae
PY - 2011
VL - 214
IS - 3
SP - 285
EP - 294
AB - We prove that every many-sorted ω-categorical theory is completely interpretable in a one-sorted ω-categorical theory. As an application, we give a short proof of the existence of non-G-compact ω-categorical theories.
LA - eng
KW - many-sorted structures; -categoricity; -compactness; strong order property; stably embedded predicates
UR - http://eudml.org/doc/282773
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.