Some examples of quantifier elimination and o-minimality

Autor:	Schimura, Ricardo Mateus
Přispěvatelé:	Edmundo, Mário Jorge
Jazyk:	angličtina
Rok vydání:	2021
Předmět:	corpos analíticos restritos axiomatização universal o-minimalidade eliminação de quantificadores corpos reais fechados ordenados Teses de mestrado - 2021 Departamento de Matemática
Zdroj:	Repositório Científico de Acesso Aberto de Portugal Repositório Científico de Acesso Aberto de Portugal (RCAAP) instacron:RCAAP
Popis:	Tese de mestrado, Matemática, Universidade de Lisboa, Faculdade de ciências, 2021 Submitted by Teresa Boa (tdboa@fc.ul.pt) on 2022-02-14T09:42:13Z No. of bitstreams: 1 TM_Ricardo_Shimura.pdf: 553308 bytes, checksum: 3b112a90084d40e4a3802cb77aa9f168 (MD5) Made available in DSpace on 2022-02-14T09:42:25Z (GMT). No. of bitstreams: 1 TM_Ricardo_Shimura.pdf: 553308 bytes, checksum: 3b112a90084d40e4a3802cb77aa9f168 (MD5) Previous issue date: 2021
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______3056::e9b18dba0b82c6937443905256476a5d Zobrazit plný text záznamu