Structure theorems for o-minimal expansions of groups

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorEdmundo, Mário Jorge-
Data de aceite: dc.date.accessioned2019-08-21T16:59:51Z-
Data de disponibilização: dc.date.available2019-08-21T16:59:51Z-
Data de envio: dc.date.issued2014-01-07-
Data de envio: dc.date.issued2014-01-07-
Data de envio: dc.date.issued2000-03-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/10400.2/2755-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/10400.2/2755-
Descrição: dc.descriptionLet R be an o-minimal expansion of an ordered group (R,0,1,+,<) with distinguished positive element 1. We first prove that the following are equivalent: (1) R is semi-bounded, (2) R has no poles, (3) R cannot define a real closed field with domain R and order <, (4) R is eventually linear and (5) every R-definable set is a finite union of cones. As a corollary we get that Th(R) has quantifier elimination and universal axiomatization in the language with symbols for the ordered group operations, bounded R-definable sets and a symbol for each definable endomorphism of the group (R,0,+).-
Idioma: dc.languageen-
Publicador: dc.publisherElsevier-
Relação: dc.relationhttp://ac.els-cdn.com/S0168007299000433/1-s2.0-S0168007299000433-main.pdf?_tid=d4fca9a4-77e2-11e3-b83b-00000aacb362&acdnat=1389130367_bf5fdb5c2a0acb3f2c17d84b1ff2d0dd-
Direitos: dc.rightsopenAccess-
Palavras-chave: dc.subjectO-minimal structures-
Palavras-chave: dc.subjectStructure theorems-
Título: dc.titleStructure theorems for o-minimal expansions of groups-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Aberto - Universidade Aberta (Portugal)

Não existem arquivos associados a este item.