Alexandra Shlapentokh

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 4

Top Topics

Geometric Objects

Transitive Closure

Top Venues

Ann. Pure Appl. Log.

Publications

Wesley Calvert, Valentina S. Harizanov, Eugenio G. Omodeo, Alberto Policriti, Alexandra Shlapentokh
In Memory of Martin Davis. CoRR (2024)
Russell G. Miller, Alexandra Shlapentokh
On existential definitions of c.e. subsets of rings of functions of characteristic 0. Ann. Pure Appl. Log. 173 (4) (2022)
Russell G. Miller, Bjorn Poonen, Hans Schoutens, Alexandra Shlapentokh
A Computable Functor from graphs to Fields. J. Symb. Log. 83 (1) (2018)
Moshe Jarden, Alexandra Shlapentokh
Decidable Algebraic Fields. J. Symb. Log. 82 (2) (2017)
Alexandra Shlapentokh
Hilbert's Tenth Problem for Subrings of ℚ and Number Fields (Extended Abstract). TAMC (2015)
Wesley Calvert, Valentina S. Harizanov, Alexandra Shlapentokh
Turing Degrees of Isomorphism Types of Geometric Objects. Comput. 3 (2) (2014)
Alexandra Shlapentokh, Carlos Videla
Definability and decidability in infinite algebraic extensions. Ann. Pure Appl. Log. 165 (7-8) (2014)
Alexandra Shlapentokh
Defining integers. Bull. Symb. Log. 17 (2) (2011)
Alexandra Shlapentokh
{\mathbb {Q}} and elliptic curves retaining their rank. Arch. Math. Log. 48 (1) (2009)
Alexandra Shlapentokh
First-order definitions of rational functions and s-integers over holomorphy rings of algebraic functions of characteristic 0. Ann. Pure Appl. Log. 136 (3) (2005)
Alexandra Shlapentokh
Existential definability with bounds on archimedean valuations. J. Symb. Log. 68 (3) (2003)
Alexandra Shlapentokh
Generalized Weak Presentations. J. Symb. Log. 67 (2) (2002)
Alexandra Shlapentokh
On Diophantine Definability and Decidability in Some Rings of Algebraic Functions of Characteristic 0. J. Symb. Log. 67 (2) (2002)
Alexandra Shlapentokh
Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of Q. Arch. Math. Log. 40 (4) (2001)
Alexandra Shlapentokh
Weak Presentations of Non-Finitely Generated Fields. Ann. Pure Appl. Log. 94 (1-3) (1998)
Alexandra Shlapentokh
Rational Separability over a Global Field. Ann. Pure Appl. Log. 79 (1) (1996)
Alexandra Shlapentokh
Diophantine Equivalence and Countable Rings. J. Symb. Log. 59 (3) (1994)
Alexandra Shlapentokh
Diophantine Relations Between Rings of S-Integers of Fields of Algebraic Functions in One Variable Over Constant Fields of Positive Characteristic. J. Symb. Log. 58 (1) (1993)
Alexandra Shlapentokh
A Diophantine Definition of Rational Integers over Some Rings of Algebraic Numbers. Notre Dame J. Formal Log. 33 (3) (1992)