Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Nathanaël Mariaule"'
Autor:
Nathanaël Mariaule
Publikováno v:
Mathematical Logic Quarterly. 67:409-419
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0889d47221cc95da4fceb93fb54bce56
https://doi.org/10.1002/malq.202000023
https://doi.org/10.1002/malq.202000023
Autor:
Nathanaël Mariaule
Publikováno v:
Mathematical Logic Quarterly. 66:82-90
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::965205091f881b7ca4e042d09298dae2
https://doi.org/10.1002/malq.201900040
https://doi.org/10.1002/malq.201900040
Autor:
Nathanaël Mariaule
Publikováno v:
The Journal of Symbolic Logic. 82:166-182
In this paper, we prove the decidability of the theory of ℚp in the language (+, −,⋅, 0, 1, Pn(n ∈ ℕ)) expanded by a predicate for the multiplicative subgroup nℤ (where n is a fixed integer). There are two cases: if $v_p \left( n \right)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5d89f483f45163f879b9785ef8c91a05
https://doi.org/10.1017/jsl.2016.22
https://doi.org/10.1017/jsl.2016.22