| Publication | Date of Publication | Type |
|---|
$C(\beta\mathbb{N}\setminus\mathbb{N})$ among the Archimedean $\ell$-groups with strong unit
Dissertationes Mathematicae | 2023-05-23 | Paper |
Adjunction of a strong unit to a hyper-Archimedean lattice-ordered group
Algebra Universalis | 2023-02-15 | Paper |
Adjoining a strong unit to an Archimedean lattice-ordered group
Order | 2021-11-19 | Paper |
Existentially closed closure algebras
Notre Dame Journal of Formal Logic | 2021-09-07 | Paper |
Essential adjunction of a strong unit to an Archimedean lattice-ordered group
Algebra Universalis | 2020-07-13 | Paper |
Corrigendum to: ``Model-completions for abelian lattice-ordered groups with finitely many disjoint elements
Annals of Pure and Applied Logic | 2019-10-07 | Paper |
Decision procedures for the conditions true in certain metric structures
Topology and its Applications | 2019-05-23 | Paper |
Model-completions for abelian lattice-ordered groups with finitely many disjoint elements
Annals of Pure and Applied Logic | 2019-04-30 | Paper |
\(l\)-groups \(C(X)\) in continuous logic
Archive for Mathematical Logic | 2018-04-17 | Paper |
A model of intuitionistic analysis in which \(\varnothing\)-definable discrete sets are subcountable
Mathematical Logic Quarterly (MLQ) | 2016-06-24 | Paper |
Algebraically closed and existentially closed abelian lattice-ordered groups
Algebra Universalis | 2016-06-09 | Paper |
More on generic dimension groups
Notre Dame Journal of Formal Logic | 2015-11-30 | Paper |
Erratum to: ``Elimination of unbounded quantifiers for some poly-regular groups of infinite rank
Annals of Pure and Applied Logic | 2012-11-20 | Paper |
Existentially closed dimension groups
Transactions of the American Mathematical Society | 2012-04-26 | Paper |
Some model-theoretic correspondences between dimension groups and AF algebras
Annals of Pure and Applied Logic | 2011-09-22 | Paper |
A representation of convex semilinear sets
Algebra Universalis | 2010-08-13 | Paper |
Generalized halfspaces in the mixed-integer realm
Notre Dame Journal of Formal Logic | 2009-11-18 | Paper |
| Nonnegative solvability of linear equations in ordered abelian groups | 2009-02-12 | Paper |
Generalized halfspaces in dimension groups
Annals of Pure and Applied Logic | 2008-05-23 | Paper |
The complexity of bounded quantifiers in some ordered abelian groups
Notre Dame Journal of Formal Logic | 2008-04-29 | Paper |
Elimination of unbounded quantifiers for some poly-regular groups of infinite rank
Annals of Pure and Applied Logic | 2007-11-27 | Paper |
Nonnegative solvability of linear equations in certain ordered rings
Transactions of the American Mathematical Society | 2006-05-17 | Paper |
Some purely topological models for intuitionistic analysis
Annals of Pure and Applied Logic | 2000-09-15 | Paper |
More on imaginaries in p-adic fields
Journal of Symbolic Logic | 1997-05-28 | Paper |
Cross-sections for \(p\)-adically closed fields
Journal of Algebra | 1996-09-03 | Paper |
| scientific article; zbMATH DE number 749939 (Why is no real title available?) | 1995-12-13 | Paper |
On the elimination of imaginaries from certain valued fields
Annals of Pure and Applied Logic | 1994-09-01 | Paper |
A new model for intuitionistic analysis
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
Between groups and rings
Rocky Mountain Journal of Mathematics | 1989-01-01 | Paper |
Some continuous Positivstellensätze
Journal of Algebra | 1989-01-01 | Paper |
On the structure of semialgebraic sets over p-adic fields
Journal of Symbolic Logic | 1988-01-01 | Paper |
A note on definable Skolem functions
Journal of Symbolic Logic | 1988-01-01 | Paper |
More on definable sets of p-adic numbers
Journal of Symbolic Logic | 1988-01-01 | Paper |
Decompositions of finitely generated modules over C(X): sheaf semantics and a decision procedure
Mathematical Proceedings of the Cambridge Philosophical Society | 1988-01-01 | Paper |
More on real algebra in Scott's model
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
The real-algebraic structure of Scott's model of intuitionistic analysis
Annals of Pure and Applied Logic | 1984-01-01 | Paper |
