In this note we give a negative answer to Abraham Robinson’s question of whether a finitely generated extension of an undecidable field is always undecidable. We construct ‘natural’ undecidable fields of transcendence degree 1 over Q all of whose proper finite extensions are decidable. We also construct undecidable algebraic extensions of Q that allow decidable finite extensions
Let K be an algebraic function field of characteristic 2 with constant field CK. Let C be the algebr...
Abstract. We classify Artin-Schreier extensions of valued fields with non-trivial defect according t...
Abstract. We classify Artin-Schreier extensions of valued fields with non-trivial defect according t...
In this note we give a negative answer to Abraham Robinson’s question of whether a finitely generate...
In this note we give a negative answer to Abraham Robinson's question whether a finitely generated e...
This paper is primarily concerned with the following question which first appeared in Koenigsmannâs ...
This paper is primarily concerned with the following question which first appeared in Koenigsmann’s ...
It is shown that the compositum Q(2) of all degree 2 extensions of Q has undecidable theory.articl
It is shown that the compositum Q(2) of all degree 2 extensions of Q has undecidable theory.articl
It is shown that the compositum Q(2) of all degree 2 extensions of Q has undecidable theory.articl
AbstractWe investigate Diophantine definability and decidability over some subrings of algebraic num...
AbstractWe investigate Diophantine definability and decidability over some subrings of algebraic num...
Fix a prime $p$. We prove that the set of sentences true in all but finitely many finite extensions ...
In this paper we investigate the algebraic extensions $K$ of $\mathbb{Q}$ in which we cannot existen...
A field $K$ in a ring language $\mathcal{L}$ is finitely undecidable if $\mbox{Cons}(\Sigma)$ is und...
Let K be an algebraic function field of characteristic 2 with constant field CK. Let C be the algebr...
Abstract. We classify Artin-Schreier extensions of valued fields with non-trivial defect according t...
Abstract. We classify Artin-Schreier extensions of valued fields with non-trivial defect according t...
In this note we give a negative answer to Abraham Robinson’s question of whether a finitely generate...
In this note we give a negative answer to Abraham Robinson's question whether a finitely generated e...
This paper is primarily concerned with the following question which first appeared in Koenigsmannâs ...
This paper is primarily concerned with the following question which first appeared in Koenigsmann’s ...
It is shown that the compositum Q(2) of all degree 2 extensions of Q has undecidable theory.articl
It is shown that the compositum Q(2) of all degree 2 extensions of Q has undecidable theory.articl
It is shown that the compositum Q(2) of all degree 2 extensions of Q has undecidable theory.articl
AbstractWe investigate Diophantine definability and decidability over some subrings of algebraic num...
AbstractWe investigate Diophantine definability and decidability over some subrings of algebraic num...
Fix a prime $p$. We prove that the set of sentences true in all but finitely many finite extensions ...
In this paper we investigate the algebraic extensions $K$ of $\mathbb{Q}$ in which we cannot existen...
A field $K$ in a ring language $\mathcal{L}$ is finitely undecidable if $\mbox{Cons}(\Sigma)$ is und...
Let K be an algebraic function field of characteristic 2 with constant field CK. Let C be the algebr...
Abstract. We classify Artin-Schreier extensions of valued fields with non-trivial defect according t...
Abstract. We classify Artin-Schreier extensions of valued fields with non-trivial defect according t...