Publication | Date of Publication | Type |
---|
Commutative unital rings elementarily equivalent to prescribed product rings | 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 | 2023-12-03 | Paper |
Decidability of the class of all the rings : A problem of Ax | 2023-08-09 | Paper |
Model theory of adeles. I. | 2022-01-18 | Paper |
Truncations of ordered abelian groups | 2021-05-06 | Paper |
Axioms for Commutative Unital Rings elementarily Equivalent to Restricted Products of Connected Rings | 2020-07-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q5222076 | 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 | 2019-10-22 | Paper |
Enrichments of Boolean algebras by Presburger predicates | 2017-08-11 | Paper |
Turing meets Schanuel | 2016-07-22 | Paper |
Model Theory of Adeles I | 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 | 2016-03-02 | Paper |
COMPARING AND ZILBER’S EXPONENTIAL FIELDS: ZERO SETS OF EXPONENTIAL POLYNOMIALS | 2016-01-07 | Paper |
Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields | 2015-08-27 | Paper |
Finiteness results for sigmoidal “neural” networks | 2015-05-07 | Paper |
From Schanuel's conjecture to Shapiro's conjecture | 2014-10-24 | Paper |
Some supplements to Feferman-Vaught related to the model theory of adeles | 2014-08-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q2856483 | 2013-10-29 | Paper |
Comparing C and Zilber exponential fields, zero sets of exponential polynomials | 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 | 2012-11-02 | Paper |
Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence | 2011-09-22 | Paper |
Exponentiations over the universal enveloping algebra of \(\text{sl}_2(\mathbb C)\) | 2011-08-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q5747965 | 2010-09-14 | Paper |
Schanuel Nullstellensatz for Zilber fields | 2010-04-09 | Paper |
The mathematical significance of proof theory | 2009-01-20 | Paper |
Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’ | 2009-01-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q3535222 | 2008-11-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q3509170 | 2008-07-01 | Paper |
Model theory of exponentials on Lie algebras | 2008-04-10 | Paper |
Quadratic forms in models of \(I\Delta _{0}+\Omega _{1}\). I | 2007-09-28 | Paper |
Model theory of the Frobenius on the Witt vectors | 2007-07-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q5482547 | 2006-08-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q5700778 | 2005-10-31 | Paper |
Free abelian lattice-ordered groups | 2005-06-23 | Paper |
Model Theory: Geometrical and Set-Theoretic Aspects and Prospects | 2005-02-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2758399 | 2003-01-22 | Paper |
Non-standard finite fields over \(I\Delta_0+\Omega_1\) | 2002-07-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4234066 | 2002-01-30 | Paper |
Logarithmic-exponential series | 2001-09-11 | Paper |
L'automorphisme de Frobenius des vecteurs de Witt | 2000-12-19 | Paper |
A generalization of Wilkie's theorem of the complement, and an application to Pfaffian closure | 2000-03-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q2758400 | 2000-01-01 | Paper |
Logarithmic-Exponential Power Series | 1999-05-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4397030 | 1998-06-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4896511 | 1998-06-22 | Paper |
Generic automorphisms of fields | 1998-01-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q4362732 | 1997-11-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4361550 | 1997-10-28 | Paper |
Polynomial bounds for VC dimension of sigmoidal and general Pfaffian neural networks | 1997-03-18 | Paper |
The elementary theory of restricted analytic fields with exponentiation | 1996-05-21 | Paper |
On the elimination of imaginaries from certain valued fields | 1994-09-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3988353 | 1992-06-28 | Paper |
Schanuel's conjecture and free exponential rings | 1991-01-01 | Paper |
Rationality of p-adic Poincaré series: Uniformity in p | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3481833 | 1990-01-01 | Paper |
Primes and their residue rings in models of open induction | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3035264 | 1989-01-01 | Paper |
Elementary equivalence and codimension in p-adic fields | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3758813 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3216749 | 1985-01-01 | Paper |
Degrees of Recursively Saturated Models | 1984-01-01 | Paper |
Elimination of quantifiers in algebraic structures | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3315623 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3659766 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3671969 | 1982-01-01 | Paper |
Elementary equivalence and the commutator subgroup | 1982-01-01 | Paper |
Decidability and undecidability theorems for PAC-fields | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3964537 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3967536 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3968997 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3887652 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3890672 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3900067 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3914967 | 1980-01-01 | Paper |
Totally categorical groups and rings | 1979-01-01 | Paper |
Combinatorial Problems for Skew Fields I. Analogue of Britton's Lemma, and Results of Adjan-Rabin Type | 1979-01-01 | Paper |
Abraham Robinson, 1918-1974 | 1977-01-01 | Paper |
\(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures | 1976-01-01 | Paper |
Uncountable universal locally finite groups | 1976-01-01 | Paper |
Existentially closed structures and Jensen's principle \(\diamond\) | 1976-01-01 | Paper |
On definable subsets of p-adic fields | 1976-01-01 | Paper |
Algebraic properties of number theories | 1975-01-01 | Paper |
A Note on Axioms for Infinite-Generic Structures | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4091925 | 1975-01-01 | Paper |
Model-completeness for sheaves of structures | 1974-01-01 | Paper |
The forcing companions of number theories | 1973-01-01 | Paper |
The word problem for division rings | 1973-01-01 | Paper |
Gödel's diagonalization technique and related properties of theories | 1973-01-01 | Paper |
Martin's Axiom Applied to Existentially Closed Groups. | 1973-01-01 | Paper |
On algebraically closed groups | 1972-01-01 | Paper |
Omitting quantifier-free types in generic structures | 1972-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5670622 | 1972-01-01 | Paper |
On the elementary theory of Banach algebras | 1971-01-01 | Paper |
On $ω_1$-categorical theories of fields | 1971-01-01 | Paper |
On $ω_1$-categorical theories of abelian groups | 1971-01-01 | Paper |
Inequalities for functions regular and bounded in a circle | 1967-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3255537 | 1958-01-01 | Paper |