| Publication | Date of Publication | Type |
|---|
Commutative unital rings elementarily equivalent to prescribed product rings
Fundamenta Mathematicae | 2024-01-31 | Paper |
| E-ideals in exponential polynomial ring | 2022-12-29 | Paper |
A weak version of the strong exponential closure
Israel Journal of Mathematics | 2021-07-12 | Paper |
Truncations of ordered abelian groups
Algebra Universalis | 2021-05-06 | Paper |
| The model theory of residue rings of models of Peano Arithmetic: The prime power case | 2021-01-30 | Paper |
| Primes in models of \(I\Delta_0+\Omega_1\): density in Henselizations | 2020-03-30 | Paper |
| Some model-theoretic perspectives on the structure sheaves of Z hat and the ring of finite ad\`eles over Q | 2020-02-16 | Paper |
A weak version of the Strong Exponential Closure
(available as arXiv preprint) | 2019-09-23 | Paper |
Generic solutions of equations with iterated exponentials
Transactions of the American Mathematical Society | 2017-12-01 | Paper |
On the value group of a model of Peano arithmetic
Forum Mathematicum | 2017-07-13 | Paper |
Comparing and Zilber's exponential fields: zero sets of exponential polynomials
Journal of the Institute of Mathematics of Jussieu | 2016-01-07 | Paper |
A valuation theoretic characterization of recursively saturated real closed fields
Journal of Symbolic Logic | 2015-05-20 | Paper |
Erratum to: ``Limit computable integer parts
Archive for Mathematical Logic | 2015-04-14 | Paper |
From Schanuel's conjecture to Shapiro's conjecture
Commentarii Mathematici Helvetici | 2014-10-24 | Paper |
| A Theorem of Legendre in $I\Delta_0+\Omega_1$ | 2014-05-17 | Paper |
Comparing C and Zilber exponential fields, zero sets of exponential polynomials
(available as arXiv preprint) | 2013-10-25 | Paper |
Real closed exponential fields
Fundamenta Mathematicae | 2012-10-31 | Paper |
| A theorem of complete reducibility for exponential polynomials | 2012-06-28 | Paper |
Corrigendum to: ``Real closed fields and models of arithmetic
The Journal of Symbolic Logic | 2012-06-19 | Paper |
Limit computable integer parts
Archive for Mathematical Logic | 2011-11-23 | Paper |
Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence
Annals of Pure and Applied Logic | 2011-09-22 | Paper |
Schanuel Nullstellensatz for Zilber fields
Fundamenta Mathematicae | 2010-04-09 | Paper |
Real closed fields and models of Peano arithmetic
Journal of Symbolic Logic | 2010-03-15 | Paper |
Quadratic forms in models of \(I\Delta _{0}+\Omega _{1}\). I
Annals of Pure and Applied Logic | 2007-09-28 | Paper |
Strong initial segments of models of IΔ0
Fundamenta Mathematicae | 2007-07-26 | Paper |
A note on the decidability of exponential terms
Mathematical Logic Quarterly | 2007-06-26 | Paper |
| scientific article; zbMATH DE number 2204768 (Why is no real title available?) | 2005-09-12 | Paper |
| scientific article; zbMATH DE number 2144526 (Why is no real title available?) | 2005-03-14 | Paper |
Non-standard finite fields over \(I\Delta_0+\Omega_1\)
Israel Journal of Mathematics | 2002-07-14 | Paper |
Quotient fields of a model of \(I\Delta_0+\Omega_1\)
Mathematical Logic Quarterly (MLQ) | 2001-11-06 | Paper |
Solving Pell equations locally in models of IΔ0
Journal of Symbolic Logic | 1999-04-27 | Paper |
Toward the limits of the Tennenbaum phenomenon
Notre Dame Journal of Formal Logic | 1998-02-11 | Paper |
Pell equations and exponentiation in fragments of arithmetic
Annals of Pure and Applied Logic | 1996-07-23 | Paper |
\(\Delta_ 0\)-complexity of the relation \(y= \prod_{i\leq n} F(i)\)
Annals of Pure and Applied Logic | 1995-11-05 | Paper |
A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)
Annals of Pure and Applied Logic | 1993-09-22 | Paper |
Local behaviour of the Chebyshev theorem in models of I⊿0
Journal of Symbolic Logic | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 32280 (Why is no real title available?) | 1992-06-28 | Paper |
Topological duality for diagonalizable algebras
Notre Dame Journal of Formal Logic | 1988-01-01 | Paper |
