Source author record

Moshe Jarden

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
3topics
3close collaborators

Published work

3 publications

preprint2015arXiv

On decidable algebraic fields

We prove the following propositions. Theorem 1: Let MM be a subfield of a fixed algebraic closure $\tilde \Q$ of $\Q$ whose existential elementary theory is decidable (resp. primitively decidable). Then, M is conjugate to a recursive (resp. primitive recursive) subfield $L \subset \tilde \Q$. Theorem 2: For each positive integer ee there are infinitely many ee-tuples $\boldsymbol σ\in \Gal(\Q)^e$ such that the field $\tilde \Q( {\boldsymbol σ})$ -- the fixed field of σ\boldsymbol σ, is recursive in $\tilde\Q$ and its elementary theory is decidable. Moreover, $\tilde \Q(\boldsymbol σ)$ is PAC and $\Gal(\tilde\Q(\boldsymbol σ))$ is isomorphic to the free profinite group on ee generators.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.