Alexandra Shlapentokh

According to our database, Alexandra Shlapentokh authored at least 20 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

In Memory of Martin Davis.

Wesley Calvert, Valentina S. Harizanov, Eugenio G. Omodeo, Alberto Policriti, Alexandra Shlapentokh

CoRR, 2024

2022

On existential definitions of c.e. subsets of rings of functions of characteristic 0.

Russell G. Miller, Alexandra Shlapentokh

Ann. Pure Appl. Log., 2022

2018

A Computable Functor from graphs to Fields.

Russell G. Miller, Bjorn Poonen, Hans Schoutens, Alexandra Shlapentokh

J. Symb. Log., 2018

2017

Decidable Algebraic Fields.

Moshe Jarden, Alexandra Shlapentokh

J. Symb. Log., 2017

2016

Extensions of Hilbert's Tenth Problem: Definability and Decidability in Number Theory.

Alexandra Shlapentokh

Proceedings of the Martin Davis on Computability, 2016

2015

Hilbert's Tenth Problem for Subrings of ℚ and Number Fields (Extended Abstract).

Alexandra Shlapentokh

Proceedings of the Theory and Applications of Models of Computation, 2015

2014

Turing Degrees of Isomorphism Types of Geometric Objects.

Wesley Calvert, Valentina S. Harizanov, Alexandra Shlapentokh

Comput., 2014

Definability and decidability in infinite algebraic extensions.

Alexandra Shlapentokh, Carlos Videla

Ann. Pure Appl. Log., 2014

2011

Defining integers.

Alexandra Shlapentokh

Bull. Symb. Log., 2011

2009

Rings of algebraic numbers in infinite extensions of \mathbb <i>Q</i>{\mathbb {Q}} and elliptic curves retaining their rank.

Alexandra Shlapentokh

Arch. Math. Log., 2009

2005

First-order definitions of rational functions and s-integers over holomorphy rings of algebraic functions of characteristic 0.

Alexandra Shlapentokh

Ann. Pure Appl. Log., 2005

2003

Existential definability with bounds on archimedean valuations.

Alexandra Shlapentokh

J. Symb. Log., 2003

2002

Generalized Weak Presentations.

Alexandra Shlapentokh

J. Symb. Log., 2002

On Diophantine Definability and Decidability in Some Rings of Algebraic Functions of Characteristic 0.

Alexandra Shlapentokh

J. Symb. Log., 2002

2001

Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of Q.

Alexandra Shlapentokh

Arch. Math. Log., 2001

1998

Weak Presentations of Non-Finitely Generated Fields.

Alexandra Shlapentokh

Ann. Pure Appl. Log., 1998

1996

Rational Separability over a Global Field.

Alexandra Shlapentokh

Ann. Pure Appl. Log., 1996

1994

Diophantine Equivalence and Countable Rings.

Alexandra Shlapentokh

J. Symb. Log., 1994

1993

Diophantine Relations Between Rings of S-Integers of Fields of Algebraic Functions in One Variable Over Constant Fields of Positive Characteristic.

Alexandra Shlapentokh

J. Symb. Log., 1993

1992

A Diophantine Definition of Rational Integers over Some Rings of Algebraic Numbers.

Alexandra Shlapentokh

Notre Dame J. Formal Log., 1992