| Publication | Date of Publication | Type |
|---|
Model completeness for finitely ramified Henselian fields valued in a \(\mathbb{Z}\)-group and for pseudo-algebraically closed fields
Confluentes Mathematici | 2024-11-14 | Paper |
Commutative unital rings elementarily equivalent to prescribed product rings
Fundamenta Mathematicae | 2024-01-31 | Paper |
Between the Rings $${\mathbb Z}/p^n{\mathbb Z}$$ and the Ring $${\mathbb Z}_p$$: Issues of Axiomatizability, Definability and Decidability
Lecture Notes in Mathematics | 2023-12-03 | Paper |
Decidability of the class of all the rings : A problem of Ax
Forum of Mathematics, Sigma | 2023-08-09 | Paper |
Model theory of adeles. I.
Annals of Pure and Applied Logic | 2022-01-18 | Paper |
Truncations of ordered abelian groups
Algebra Universalis | 2021-05-06 | Paper |
| Axioms for Commutative Unital Rings elementarily Equivalent to Restricted Products of Connected Rings | 2020-07-17 | 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 |
| Decidability Problems for Adele Rings and related restricted products | 2019-10-31 | Paper |
Describing models of Th(ℤ) in adelic terms
Model Theory of Modules, Algebras and Categories | 2019-10-22 | Paper |
Enrichments of Boolean algebras by Presburger predicates
Fundamenta Mathematicae | 2017-08-11 | Paper |
Turing meets Schanuel
Annals of Pure and Applied Logic | 2016-07-22 | Paper |
Model Theory of Adeles I
(available as arXiv preprint) | 2016-03-31 | Paper |
| Model Completeness for Henselian Fields with finite ramification valued in a $Z$-Group | 2016-03-28 | Paper |
| Model theory of finite-by-Presburger Abelian groups and finite extensions of $p$-adic fields | 2016-03-28 | Paper |
Erratum to: ``Free abelian lattice-ordered groups
Annals of Pure and Applied Logic | 2016-03-02 | Paper |
Comparing and Zilber's exponential fields: zero sets of exponential polynomials
Journal of the Institute of Mathematics of Jussieu | 2016-01-07 | Paper |
Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
Annals of Pure and Applied Logic | 2015-08-27 | Paper |
Finiteness results for sigmoidal “neural” networks
Proceedings of the twenty-fifth annual ACM symposium on Theory of computing - STOC '93 | 2015-05-07 | Paper |
From Schanuel's conjecture to Shapiro's conjecture
Commentarii Mathematici Helvetici | 2014-10-24 | Paper |
Some supplements to Feferman-Vaught related to the model theory of adeles
Annals of Pure and Applied Logic | 2014-08-21 | Paper |
| The impact of Gödel's incompleteness theorems on mathematics | 2013-10-29 | Paper |
Comparing C and Zilber exponential fields, zero sets of exponential polynomials
(available as arXiv preprint) | 2013-10-25 | Paper |
| Enrichments of Boolean Algebras: a uniform treatment of some classical and some novel examples | 2013-10-13 | Paper |
The algebraic numbers definable in various exponential fields
Journal of the Institute of Mathematics of Jussieu | 2012-11-02 | Paper |
Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence
Annals of Pure and Applied Logic | 2011-09-22 | Paper |
Exponentiations over the universal enveloping algebra of \(\text{sl}_2(\mathbb C)\)
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
| scientific article; zbMATH DE number 5785666 (Why is no real title available?) | 2010-09-14 | Paper |
Schanuel Nullstellensatz for Zilber fields
Fundamenta Mathematicae | 2010-04-09 | Paper |
Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2009-01-20 | Paper |
The mathematical significance of proof theory
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2009-01-20 | Paper |
| Some observations about the real and imaginary parts of complex Pfaffian functions | 2008-11-10 | Paper |
| Towards decidability of the theory of pseudo-finite dimensional representations of \(sl_2(k)\). I. | 2008-07-01 | Paper |
Model theory of exponentials on Lie algebras
Mathematical Structures in Computer Science | 2008-04-10 | Paper |
Quadratic forms in models of \(I\Delta _{0}+\Omega _{1}\). I
Annals of Pure and Applied Logic | 2007-09-28 | Paper |
Model theory of the Frobenius on the Witt vectors
American Journal of Mathematics | 2007-07-09 | Paper |
| scientific article; zbMATH DE number 5049995 (Why is no real title available?) | 2006-08-28 | Paper |
| scientific article; zbMATH DE number 2220972 (Why is no real title available?) | 2005-10-31 | Paper |
Free abelian lattice-ordered groups
Annals of Pure and Applied Logic | 2005-06-23 | Paper |
Model Theory: Geometrical and Set-Theoretic Aspects and Prospects
The Bulletin of Symbolic Logic | 2005-02-09 | Paper |
| Approximating volumes and integrals in o-minimal and p-minimal theories | 2003-01-22 | Paper |
Non-standard finite fields over \(I\Delta_0+\Omega_1\)
Israel Journal of Mathematics | 2002-07-14 | Paper |
| scientific article; zbMATH DE number 1263195 (Why is no real title available?) | 2002-01-30 | Paper |
Logarithmic-exponential series
Annals of Pure and Applied Logic | 2001-09-11 | Paper |
L'automorphisme de Frobenius des vecteurs de Witt
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics | 2000-12-19 | Paper |
A generalization of Wilkie's theorem of the complement, and an application to Pfaffian closure
Selecta Mathematica. New Series | 2000-03-23 | Paper |
| Weil cohomology and model theory | 2000-01-01 | Paper |
Logarithmic-Exponential Power Series
Journal of the London Mathematical Society | 1999-05-05 | Paper |
| scientific article; zbMATH DE number 1169378 (Why is no real title available?) | 1998-06-25 | Paper |
| scientific article; zbMATH DE number 937371 (Why is no real title available?) | 1998-06-22 | Paper |
Generic automorphisms of fields
Annals of Pure and Applied Logic | 1998-01-26 | Paper |
| scientific article; zbMATH DE number 1086494 (Why is no real title available?) | 1997-11-13 | Paper |
| scientific article; zbMATH DE number 1080059 (Why is no real title available?) | 1997-10-28 | Paper |
Polynomial bounds for VC dimension of sigmoidal and general Pfaffian neural networks
Journal of Computer and System Sciences | 1997-03-18 | Paper |
The elementary theory of restricted analytic fields with exponentiation
Annals of Mathematics. Second Series | 1996-05-21 | Paper |
On the elimination of imaginaries from certain valued fields
Annals of Pure and Applied Logic | 1994-09-01 | Paper |
| scientific article; zbMATH DE number 32406 (Why is no real title available?) | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 32406 (Why is no real title available?) | 1992-06-28 | Paper |
Schanuel's conjecture and free exponential rings
Annals of Pure and Applied Logic | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4152550 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4152550 (Why is no real title available?) | 1990-01-01 | Paper |
Rationality of p-adic Poincaré series: Uniformity in p
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
Primes and their residue rings in models of open induction
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4134017 (Why is no real title available?) | 1989-01-01 | Paper |
Elementary equivalence and codimension in p-adic fields
Manuscripta Mathematica | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4008376 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3882548 (Why is no real title available?) | 1985-01-01 | Paper |
| Degrees of Recursively Saturated Models | 1984-01-01 | Paper |
Elimination of quantifiers in algebraic structures
Advances in Mathematics | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3845728 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3825797 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3811547 (Why is no real title available?) | 1982-01-01 | Paper |
Elementary equivalence and the commutator subgroup
Glasgow Mathematical Journal | 1982-01-01 | Paper |
Decidability and undecidability theorems for PAC-fields
Bulletin of the American Mathematical Society | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3792250 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3790427 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3786745 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3697094 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3693534 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3726320 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3708404 (Why is no real title available?) | 1980-01-01 | Paper |
Totally categorical groups and rings
Journal of Algebra | 1979-01-01 | Paper |
Combinatorial Problems for Skew Fields I. Analogue of Britton's Lemma, and Results of Adjan-Rabin Type
Proceedings of the London Mathematical Society | 1979-01-01 | Paper |
Abraham Robinson, 1918-1974
Bulletin of the American Mathematical Society | 1977-01-01 | Paper |
On definable subsets of p-adic fields
Journal of Symbolic Logic | 1976-01-01 | Paper |
Uncountable universal locally finite groups
Journal of Algebra | 1976-01-01 | Paper |
\(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures
Journal of Algebra | 1976-01-01 | Paper |
Existentially closed structures and Jensen's principle \(\diamond\)
Israel Journal of Mathematics | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3512091 (Why is no real title available?) | 1975-01-01 | Paper |
A Note on Axioms for Infinite-Generic Structures
Journal of the London Mathematical Society | 1975-01-01 | Paper |
Algebraic properties of number theories
Israel Journal of Mathematics | 1975-01-01 | Paper |
Model-completeness for sheaves of structures
Fundamenta Mathematicae | 1974-01-01 | Paper |
Gödel's diagonalization technique and related properties of theories
Colloquium Mathematicum | 1973-01-01 | Paper |
Martin's Axiom Applied to Existentially Closed Groups.
MATHEMATICA SCANDINAVICA | 1973-01-01 | Paper |
The word problem for division rings
Journal of Symbolic Logic | 1973-01-01 | Paper |
The forcing companions of number theories
Israel Journal of Mathematics | 1973-01-01 | Paper |
On algebraically closed groups
Annals of Mathematics. Second Series | 1972-01-01 | Paper |
Omitting quantifier-free types in generic structures
Journal of Symbolic Logic | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3404232 (Why is no real title available?) | 1972-01-01 | Paper |
On $ω_1$-categorical theories of abelian groups
Fundamenta Mathematicae | 1971-01-01 | Paper |
On $ω_1$-categorical theories of fields
Fundamenta Mathematicae | 1971-01-01 | Paper |
On the elementary theory of Banach algebras
Annals of Mathematical Logic | 1971-01-01 | Paper |
Inequalities for functions regular and bounded in a circle
Pacific Journal of Mathematics | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3136034 (Why is no real title available?) | 1958-01-01 | Paper |
