| Publication | Date of Publication | Type |
|---|
| Countable Choice | 2023-08-11 | Paper |
| Thoughts on Computational Mathematics | 2023-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3296117 | 2020-07-06 | Paper |
| Laurent series over R | 2020-04-22 | Paper |
| Walker groups. | 2015-08-26 | Paper |
| WhenR(X) andR⟨X⟩ are Clean: A Constructive Treatment | 2015-08-11 | Paper |
| Euclide avait-il besoin de l'algorithme d'Euclide pour d\'emontrer l'unicit\'e de la factorisation? | 2015-03-18 | Paper |
| A theorem of Gilmer and the canonical universal splitting ring | 2014-06-10 | Paper |
| Walker's Cancellation Theorem | 2014-05-02 | Paper |
| A constructive theory of minimal zero-dimensional extensions | 2014-02-04 | Paper |
| Minimal Zero-Dimensional Extensions of Rings of Dimension Greater than One | 2013-01-18 | Paper |
| Signed-bit representations of real numbers | 2012-12-17 | Paper |
| The Kripke schema in metric topology | 2012-12-10 | Paper |
| Algebraic Functions, Calculus Style | 2012-08-23 | Paper |
| CALCULATING MAXIMUM-ENTROPY PROBABILITY DENSITIES FOR BELIEF FUNCTIONS | 2012-02-17 | Paper |
| Zero sets of univariate polynomials | 2011-01-06 | Paper |
| Transient limits | 2009-12-04 | Paper |
| Discrete logarithms for finite groups | 2009-08-10 | Paper |
| Almost locatedness in uniform spaces | 2009-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3608509 | 2009-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607422 | 2009-03-02 | Paper |
| Intuitionistic notions of boundedness in ℕ | 2009-01-23 | Paper |
| Near convexity, metric convexity, and convexity | 2008-03-14 | Paper |
| Real numbers and other completions | 2008-03-07 | Paper |
| Did Euclid Need the Euclidean Algorithm to Prove Unique Factorization? | 2008-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5310887 | 2007-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3436758 | 2007-05-11 | Paper |
| SOME GROUP THEORETIC ASPECTS OF t-NORMS | 2007-03-27 | Paper |
| Van Der Waerden's Construction of a Splitting Field | 2006-09-25 | Paper |
| Pi-balanced torsion-free modules over a discrete valuation domain | 2005-12-29 | Paper |
| A DIVISION ALGORITHM | 2005-11-08 | Paper |
| Equivalence of syllogisms | 2005-07-06 | Paper |
| The polydisk nullstellensatz | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4457300 | 2004-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552748 | 2004-01-07 | Paper |
| Pre-abelian clan categories. | 2003-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708168 | 2003-06-16 | Paper |
| Spreads and choice in constructive mathematics. | 2003-06-01 | Paper |
| The Ascending Tree Condition: Constructive Algebra Without Countable Choice | 2003-04-28 | Paper |
| Is 0.999 ... = 1? | 2002-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702081 | 2002-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4529412 | 2002-05-22 | Paper |
| Omniscience Principles and Functions of Bounded Variation | 2002-03-06 | Paper |
| Computing limiting stationary distributions of small noisy networks | 2002-01-01 | Paper |
| Existence Proofs | 2001-11-26 | Paper |
| Gleason's theorem has a constructive proof | 2001-07-26 | Paper |
| The fundamental theorem of algebra: a constructive development without choice. | 2001-04-19 | Paper |
| Adjoints and the image of the ball | 2001-02-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552747 | 2001-01-01 | Paper |
| Growing forests in Abelian \(p\)-groups | 2000-10-04 | Paper |
| A weak countable choice principle | 2000-07-10 | Paper |
| Linear independence without choice | 2000-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270330 | 2000-02-01 | Paper |
| A constructive proof of Gleason's theorem | 2000-01-09 | Paper |
| Weakly integrally closed domains:minimum polynomials of matrices | 2000-01-01 | Paper |
| Simply presented tag modules | 1999-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4379286 | 1999-06-21 | Paper |
| Generalized real numbers in constructive mathematics | 1999-02-17 | Paper |
| Filtered modules over discrete valuation domains | 1999-01-26 | Paper |
| The regular element property | 1998-05-06 | Paper |
| Sets, complements and boundaries | 1997-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2785504 | 1997-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688693 | 1997-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896357 | 1996-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4315603 | 1995-02-09 | Paper |
| Well quasi-ordered sets | 1993-06-29 | Paper |
| A course in constructive algebra | 1993-06-05 | Paper |
| Representations of finite posets and valuated groups | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4025963 | 1993-02-21 | Paper |
| Transcendental operators on a Banach space | 1993-01-17 | Paper |
| Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\) | 1992-09-27 | Paper |
| Field-independent representations of partially ordered sets | 1992-08-13 | Paper |
| Generalp-valuations on abelian groups | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3971140 | 1992-06-25 | Paper |
| A recursive counterexample to Debreu's theorem on the existence of a utility function | 1991-01-01 | Paper |
| Separable Extensions and Diagonalizability | 1990-01-01 | Paper |
| Polynomials and linear transformations | 1990-01-01 | Paper |
| Intuitionism As Generalization | 1990-01-01 | Paper |
| The constructive theory of torsion-free abelian groups | 1990-01-01 | Paper |
| Nontrivial Uses of Trivial Rings | 1988-01-01 | Paper |
| Computers, trees and Abelian groups | 1988-01-01 | Paper |
| Subgroups of finite direct sums of valuated cyclic groups | 1988-01-01 | Paper |
| The intermediate value theorem: Preimages of compact sets under uniformly continuous functions | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3754620 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3809839 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3810009 | 1987-01-01 | Paper |
| Archimedean Valuations | 1986-01-01 | Paper |
| Valuation theory: A constructive view | 1984-01-01 | Paper |
| Butler groups, valuated vector spaces, and duality | 1984-01-01 | Paper |
| A uniformly continuous function on [0,1 that is everywhere different from its infimum] | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3684311 | 1984-01-01 | Paper |
| Alexander duality | 1983-01-01 | Paper |
| Group algebras of Abelian groups | 1983-01-01 | Paper |
| An Extension of the Theory of Completely Decomposable Torsion-Free Abelian Groups | 1983-01-01 | Paper |
| Church's thesis without tears | 1983-01-01 | Paper |
| Nice subgroups of mixed local groups | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3667080 | 1983-01-01 | Paper |
| Separability and factoring polynomials | 1982-01-01 | Paper |
| Meaning and Information in Constructive Mathematics | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671326 | 1982-01-01 | Paper |
| Picard's Theorem | 1982-01-01 | Paper |
| Compactly generated Banach spaces | 1981-01-01 | Paper |
| Bounded linear mappings of finite rank | 1981-01-01 | Paper |
| epsilon-covering dimension | 1981-01-01 | Paper |
| Cyclic Ext | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3909227 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3910523 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912578 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919710 | 1981-01-01 | Paper |
| Global Warfield Groups | 1981-01-01 | Paper |
| Global Azumaya theorems in additive categories | 1980-01-01 | Paper |
| Valuated groups | 1979-01-01 | Paper |
| Algebraic numbers, a constructive development | 1978-01-01 | Paper |
| Existence Theorems for Warfield Groups | 1978-01-01 | Paper |
| Finite direct sums of cyclic valuated \(p\)-groups | 1977-01-01 | Paper |
| Ext in pre-Abelian categories | 1977-01-01 | Paper |
| Simply presented valuated Abelian p-groups | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128544 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4149901 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4154664 | 1977-01-01 | Paper |
| Homological Dimension of Abelian Groups over their Endomorphism Rings | 1976-01-01 | Paper |
| Detachablep-groups and quasi-injectivity | 1976-01-01 | Paper |
| A constructive modification of Vietoris homology | 1976-01-01 | Paper |
| The constructive theory of KT-modules | 1975-01-01 | Paper |
| Constructive Aspects of Noetherian Rings | 1974-01-01 | Paper |
| The constructive theory of countable abelian p-groups | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5644070 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4404991 | 1971-01-01 | Paper |
| Extensions of \(p\)-bounded groups | 1970-01-01 | Paper |
| Extending Ulm's Theorem Without Group Theory | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5573434 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5573438 | 1968-01-01 | Paper |
| Thin abelian p-groups | 1968-01-01 | Paper |
| Maximal Subgroups of Infinite Symmetric Groups | 1967-01-01 | Paper |
| Cotorsion free, an example of relative injectivity | 1967-01-01 | Paper |
| Countable Direct Sums of Torsion Complete Groups | 1966-01-01 | Paper |
| On a certain purification problem for primary abelian groups | 1966-01-01 | Paper |
| Generalized Quotient Rings | 1965-01-01 | Paper |
| Primary abelian groups as modules over their endomorphism rings | 1965-01-01 | Paper |
| Direct sums of countable groups and related concept | 1965-01-01 | Paper |
