Alexandra Shlapentokh

20 papers C 1Journal 18
YearRankTypeTitle / Venue / Authors
2024 J jnl
In Memory of Martin Davis.
CoRR
Wesley Calvert, Valentina S. Harizanov, Eugenio G. Omodeo, Alberto Policriti, Alexandra Shlapentokh
2022 J jnl
On existential definitions of c.e. subsets of rings of functions of characteristic 0.
Ann. Pure Appl. Log.
Russell G. Miller, Alexandra Shlapentokh
2018 J jnl
A Computable Functor from graphs to Fields.
J. Symb. Log.
Russell G. Miller, Bjorn Poonen, Hans Schoutens, Alexandra Shlapentokh
2017 J jnl
Decidable Algebraic Fields.
J. Symb. Log.
Moshe Jarden, Alexandra Shlapentokh
2016 — ch.
Extensions of Hilbert's Tenth Problem: Definability and Decidability in Number Theory.
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Alexandra Shlapentokh
2015 C conf
Hilbert's Tenth Problem for Subrings of ℚ and Number Fields (Extended Abstract).
TAMC
Alexandra Shlapentokh
2014 J jnl
Definability and decidability in infinite algebraic extensions.
Ann. Pure Appl. Log.
Alexandra Shlapentokh, Carlos Videla
2014 J jnl
Turing Degrees of Isomorphism Types of Geometric Objects.
Comput.
Wesley Calvert, Valentina S. Harizanov, Alexandra Shlapentokh
2011 J jnl
Defining integers.
Bull. Symb. Log.
Alexandra Shlapentokh
2009 J jnl
Rings of algebraic numbers in infinite extensions of \mathbb
Arch. Math. Log.
Alexandra Shlapentokh
2005 J jnl
First-order definitions of rational functions and s-integers over holomorphy rings of algebraic functions of characteristic 0.
Ann. Pure Appl. Log.
Alexandra Shlapentokh
2003 J jnl
Existential definability with bounds on archimedean valuations.
J. Symb. Log.
Alexandra Shlapentokh
2002 J jnl
Generalized Weak Presentations.
J. Symb. Log.
Alexandra Shlapentokh
2002 J jnl
On Diophantine Definability and Decidability in Some Rings of Algebraic Functions of Characteristic 0.
J. Symb. Log.
Alexandra Shlapentokh
2001 J jnl
Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of Q.
Arch. Math. Log.
Alexandra Shlapentokh
1998 J jnl
Weak Presentations of Non-Finitely Generated Fields.
Ann. Pure Appl. Log.
Alexandra Shlapentokh
1996 J jnl
Rational Separability over a Global Field.
Ann. Pure Appl. Log.
Alexandra Shlapentokh
1994 J jnl
Diophantine Equivalence and Countable Rings.
J. Symb. Log.
Alexandra Shlapentokh
1993 J jnl
Diophantine Relations Between Rings of S-Integers of Fields of Algebraic Functions in One Variable Over Constant Fields of Positive Characteristic.
J. Symb. Log.
Alexandra Shlapentokh
1992 J jnl
A Diophantine Definition of Rational Integers over Some Rings of Algebraic Numbers.
Notre Dame J. Formal Log.
Alexandra Shlapentokh