| Publication | Date of Publication | Type |
|---|
A Circular Argument
The College Mathematics Journal | 2024-09-20 | Paper |
| Me and Elbert | 2024-05-30 | Paper |
Countable Choice
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
Thoughts on Computational Mathematics
Mathematics for Computation (M4C) | 2023-08-04 | Paper |
| scientific article; zbMATH DE number 7217919 (Why is no real title available?) | 2020-07-06 | Paper |
Laurent series over \(\mathbb{R}\)
Communications in Algebra | 2020-04-22 | Paper |
Walker groups.
Periodica Mathematica Hungarica | 2015-08-26 | Paper |
When \(R(X)\) and \(R\langle X\rangle\) are clean: a constructive treatment
Communications in Algebra | 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
Journal of Commutative Algebra | 2014-06-10 | Paper |
Walker's Cancellation Theorem
Communications in Algebra | 2014-05-02 | Paper |
A constructive theory of minimal zero-dimensional extensions
Journal of Commutative Algebra | 2014-02-04 | Paper |
Minimal zero-dimensional extensions of rings of dimension greater than one
Communications in Algebra | 2013-01-18 | Paper |
Signed-bit representations of real numbers
Journal of Logic and Analysis | 2012-12-17 | Paper |
The Kripke schema in metric topology
Mathematical Logic Quarterly | 2012-12-10 | Paper |
Algebraic functions, calculus style
Communications in Algebra | 2012-08-23 | Paper |
CALCULATING MAXIMUM-ENTROPY PROBABILITY DENSITIES FOR BELIEF FUNCTIONS
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2012-02-17 | Paper |
Zero sets of univariate polynomials
Transactions of the American Mathematical Society | 2011-01-06 | Paper |
Transient limits
Applicable Analysis and Discrete Mathematics | 2009-12-04 | Paper |
Discrete logarithms for finite groups
Computing | 2009-08-10 | Paper |
Almost locatedness in uniform spaces
Czechoslovak Mathematical Journal | 2009-03-31 | Paper |
Almost locatedness in uniform spaces
Czechoslovak Mathematical Journal | 2009-03-31 | Paper |
| scientific article; zbMATH DE number 5523494 (Why is no real title available?) | 2009-03-05 | Paper |
| scientific article; zbMATH DE number 5521658 (Why is no real title available?) | 2009-03-02 | Paper |
Intuitionistic notions of boundedness in ℕ
Mathematical Logic Quarterly | 2009-01-23 | Paper |
Near convexity, metric convexity, and convexity
Rocky Mountain Journal of Mathematics | 2008-03-14 | Paper |
Real numbers and other completions
Mathematical Logic Quarterly | 2008-03-07 | Paper |
Did Euclid Need the Euclidean Algorithm to Prove Unique Factorization?
The American Mathematical Monthly | 2008-02-05 | Paper |
| scientific article; zbMATH DE number 5200722 (Why is no real title available?) | 2007-10-15 | Paper |
| scientific article; zbMATH DE number 5152050 (Why is no real title available?) | 2007-05-11 | Paper |
SOME GROUP THEORETIC ASPECTS OF <font>t</font>-NORMS
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2007-03-27 | Paper |
Van Der Waerden's Construction of a Splitting Field
Communications in Algebra | 2006-09-25 | Paper |
Pi-balanced torsion-free modules over a discrete valuation domain
Journal of Algebra | 2005-12-29 | Paper |
A DIVISION ALGORITHM
Journal of Algebra and its Applications | 2005-11-08 | Paper |
Equivalence of syllogisms
Notre Dame Journal of Formal Logic | 2005-07-06 | Paper |
The polydisk nullstellensatz
Proceedings of the American Mathematical Society | 2004-03-29 | Paper |
| scientific article; zbMATH DE number 2061614 (Why is no real title available?) | 2004-03-21 | Paper |
| scientific article; zbMATH DE number 1795227 (Why is no real title available?) | 2004-01-07 | Paper |
Pre-abelian clan categories.
Rocky Mountain Journal of Mathematics | 2003-12-03 | Paper |
| scientific article; zbMATH DE number 1928916 (Why is no real title available?) | 2003-06-16 | Paper |
Spreads and choice in constructive mathematics.
Indagationes Mathematicae. New Series | 2003-06-01 | Paper |
The Ascending Tree Condition: Constructive Algebra Without Countable Choice
Communications in Algebra | 2003-04-28 | Paper |
Is 0.999 ... = 1?
Mathematics Magazine | 2002-11-10 | Paper |
| scientific article; zbMATH DE number 1367720 (Why is no real title available?) | 2002-08-14 | Paper |
| scientific article; zbMATH DE number 1743925 (Why is no real title available?) | 2002-05-22 | Paper |
Omniscience principles and functions of bounded variation
Mathematical Logic Quarterly (MLQ) | 2002-03-06 | Paper |
Computing limiting stationary distributions of small noisy networks
Journal of Applied Probability | 2002-01-01 | Paper |
Existence Proofs
American Mathematical Monthly | 2001-11-26 | Paper |
Gleason's theorem has a constructive proof
Journal of Philosophical Logic | 2001-07-26 | Paper |
The fundamental theorem of algebra: a constructive development without choice.
Pacific Journal of Mathematics | 2001-04-19 | Paper |
Adjoints and the image of the ball
Proceedings of the American Mathematical Society | 2001-02-19 | Paper |
| scientific article; zbMATH DE number 1795226 (Why is no real title available?) | 2001-01-01 | Paper |
Growing forests in Abelian \(p\)-groups
Journal of Algebra | 2000-10-04 | Paper |
A weak countable choice principle
Proceedings of the American Mathematical Society | 2000-07-10 | Paper |
Linear independence without choice
Annals of Pure and Applied Logic | 2000-07-05 | Paper |
| scientific article; zbMATH DE number 1361373 (Why is no real title available?) | 2000-02-01 | Paper |
A constructive proof of Gleason's theorem
Journal of Functional Analysis | 2000-01-09 | Paper |
Weakly integrally closed domains:minimum polynomials of matrices
Communications in Algebra | 2000-01-01 | Paper |
Simply presented tag modules
Communications in Algebra | 1999-09-14 | Paper |
| scientific article; zbMATH DE number 1121775 (Why is no real title available?) | 1999-06-21 | Paper |
Generalized real numbers in constructive mathematics
Indagationes Mathematicae. New Series | 1999-02-17 | Paper |
Filtered modules over discrete valuation domains
Journal of Algebra | 1999-01-26 | Paper |
The regular element property
Proceedings of the American Mathematical Society | 1998-05-06 | Paper |
Sets, complements and boundaries
Indagationes Mathematicae. New Series | 1997-03-11 | Paper |
| Numbers and symmetry: an introduction to algebra | 1997-02-24 | Paper |
| scientific article; zbMATH DE number 970524 (Why is no real title available?) | 1997-01-23 | Paper |
| scientific article; zbMATH DE number 936956 (Why is no real title available?) | 1996-10-20 | Paper |
| scientific article; zbMATH DE number 701901 (Why is no real title available?) | 1995-02-09 | Paper |
Well quasi-ordered sets
Advances in Mathematics | 1993-06-29 | Paper |
A course in constructive algebra
Universitext | 1993-06-05 | Paper |
Representations of finite posets and valuated groups
Journal of Algebra | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 124341 (Why is no real title available?) | 1993-02-21 | Paper |
Transcendental operators on a Banach space
Rocky Mountain Journal of Mathematics | 1993-01-17 | Paper |
Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\)
Journal of Mathematical Analysis and Applications | 1992-09-27 | Paper |
Field-independent representations of partially ordered sets
Forum Mathematicum | 1992-08-13 | Paper |
General<i>p</i>-valuations on abelian groups
Communications in Algebra | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 8559 (Why is no real title available?) | 1992-06-25 | Paper |
A recursive counterexample to Debreu's theorem on the existence of a utility function
Mathematical Social Sciences | 1991-01-01 | Paper |
Intuitionism As Generalization
Philosophia Mathematica | 1990-01-01 | Paper |
Polynomials and linear transformations
Linear Algebra and its Applications | 1990-01-01 | Paper |
The constructive theory of torsion-free abelian groups
Communications in Algebra | 1990-01-01 | Paper |
Separable Extensions and Diagonalizability
The American Mathematical Monthly | 1990-01-01 | Paper |
| Nontrivial Uses of Trivial Rings | 1988-01-01 | Paper |
Subgroups of finite direct sums of valuated cyclic groups
Journal of Algebra | 1988-01-01 | Paper |
The intermediate value theorem: Preimages of compact sets under uniformly continuous functions
Rocky Mountain Journal of Mathematics | 1988-01-01 | Paper |
Computers, trees and Abelian groups
Computers & Mathematics with Applications | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4002093 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4079486 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4079752 (Why is no real title available?) | 1987-01-01 | Paper |
Archimedean Valuations
Journal of the London Mathematical Society | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3906749 (Why is no real title available?) | 1984-01-01 | Paper |
A uniformly continuous function on [0,1] that is everywhere different from its infimum
Pacific Journal of Mathematics | 1984-01-01 | Paper |
Valuation theory: A constructive view
Journal of Number Theory | 1984-01-01 | Paper |
Butler groups, valuated vector spaces, and duality
Rendiconti del Seminario Matematico della Università di Padova | 1984-01-01 | Paper |
Butler groups, valuated vector spaces, and duality
Rendiconti del Seminario Matematico della Università di Padova | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3820035 (Why is no real title available?) | 1983-01-01 | Paper |
| An Extension of the Theory of Completely Decomposable Torsion-Free Abelian Groups | 1983-01-01 | Paper |
Alexander duality
Pacific Journal of Mathematics | 1983-01-01 | Paper |
Church's thesis without tears
Journal of Symbolic Logic | 1983-01-01 | Paper |
Nice subgroups of mixed local groups
Communications in Algebra | 1983-01-01 | Paper |
Group algebras of Abelian groups
Rendiconti del Seminario Matematico della Università di Padova | 1983-01-01 | Paper |
Group algebras of Abelian groups
Rendiconti del Seminario Matematico della Università di Padova | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3824017 (Why is no real title available?) | 1982-01-01 | Paper |
Meaning and Information in Constructive Mathematics
The American Mathematical Monthly | 1982-01-01 | Paper |
Separability and factoring polynomials
Rocky Mountain Journal of Mathematics | 1982-01-01 | Paper |
Picard's Theorem
Transactions of the American Mathematical Society | 1982-01-01 | Paper |
| Global Warfield Groups | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3720908 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3719392 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3724443 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3732048 (Why is no real title available?) | 1981-01-01 | Paper |
Compactly generated Banach spaces
Archiv der Mathematik | 1981-01-01 | Paper |
Bounded linear mappings of finite rank
Journal of Functional Analysis | 1981-01-01 | Paper |
epsilon-covering dimension
Pacific Journal of Mathematics | 1981-01-01 | Paper |
Cyclic Ext
Rocky Mountain Journal of Mathematics | 1981-01-01 | Paper |
Global Azumaya theorems in additive categories
Journal of Pure and Applied Algebra | 1980-01-01 | Paper |
Valuated groups
Journal of Algebra | 1979-01-01 | Paper |
| Existence Theorems for Warfield Groups | 1978-01-01 | Paper |
Algebraic numbers, a constructive development
Pacific Journal of Mathematics | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3579063 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3585570 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3556034 (Why is no real title available?) | 1977-01-01 | Paper |
Ext in pre-Abelian categories
Pacific Journal of Mathematics | 1977-01-01 | Paper |
Simply presented valuated Abelian p-groups
Journal of Algebra | 1977-01-01 | Paper |
Finite direct sums of cyclic valuated p-groups
Pacific Journal of Mathematics | 1977-01-01 | Paper |
| Homological Dimension of Abelian Groups over their Endomorphism Rings | 1976-01-01 | Paper |
Detachablep-groups and quasi-injectivity
Acta Mathematica Academiae Scientiarum Hungaricae | 1976-01-01 | Paper |
A constructive modification of Vietoris homology
Fundamenta Mathematicae | 1976-01-01 | Paper |
The constructive theory of KT-modules
Pacific Journal of Mathematics | 1975-01-01 | Paper |
| Constructive Aspects of Noetherian Rings | 1974-01-01 | Paper |
The constructive theory of countable abelian p-groups
Pacific Journal of Mathematics | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3372141 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3438985 (Why is no real title available?) | 1971-01-01 | Paper |
Extensions of \(p\)-bounded groups
Archiv der Mathematik | 1970-01-01 | Paper |
Extending Ulm's Theorem Without Group Theory
Proceedings of the American Mathematical Society | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3289506 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3289509 (Why is no real title available?) | 1968-01-01 | Paper |
Thin abelian p-groups
Pacific Journal of Mathematics | 1968-01-01 | Paper |
Maximal Subgroups of Infinite Symmetric Groups
Canadian Mathematical Bulletin | 1967-01-01 | Paper |
Cotorsion free, an example of relative injectivity
Mathematische Zeitschrift | 1967-01-01 | Paper |
| Countable Direct Sums of Torsion Complete Groups | 1966-01-01 | Paper |
On a certain purification problem for primary abelian groups
Bulletin de la Société mathématique de France | 1966-01-01 | Paper |
On a certain purification problem for primary abelian groups
Bulletin de la Société mathématique de France | 1966-01-01 | Paper |
| Generalized Quotient Rings | 1965-01-01 | Paper |
Primary abelian groups as modules over their endomorphism rings
Mathematische Zeitschrift | 1965-01-01 | Paper |
Direct sums of countable groups and related concept
Journal of Algebra | 1965-01-01 | Paper |
