| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7217919 (Why is no real title available?) | 2020-07-06 | 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 |
Topo-canonical completions of closure algebras and Heyting algebras
Algebra Universalis | 2008-03-12 | Paper |
Profinite completions and canonical extensions of Heyting algebras
Order | 2007-01-25 | Paper |
Quasi-apartness and neighbourhood spaces
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
The polydisk nullstellensatz
Proceedings of the American Mathematical Society | 2004-03-29 | Paper |
Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
Topology and its Applications | 2003-09-04 | Paper |
The Priestley separation axiom for scattered spaces
Order | 2002-08-21 | Paper |
| scientific article; zbMATH DE number 1795219 (Why is no real title available?) | 2001-01-01 | Paper |
Sequentially continuous linear mappings in constructive analysis
Journal of Symbolic Logic | 1998-10-07 | Paper |
| scientific article; zbMATH DE number 804856 (Why is no real title available?) | 1996-02-20 | Paper |
A course in constructive algebra
Universitext | 1993-06-05 | Paper |
| scientific article; zbMATH DE number 124316 (Why is no real title available?) | 1993-02-21 | Paper |
Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\)
Journal of Mathematical Analysis and Applications | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4210228 (Why is no real title available?) | 1991-01-01 | Paper |
A Constructive Treatment of Open and Unopen Mapping Theorems
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1989-01-01 | Paper |
The intermediate value theorem: Preimages of compact sets under uniformly continuous functions
Rocky Mountain Journal of Mathematics | 1988-01-01 | Paper |
Archimedean Valuations
Journal of the London Mathematical Society | 1986-01-01 | Paper |
Valuation theory: A constructive view
Journal of Number Theory | 1984-01-01 | Paper |
What is constructive mathematics?
The Mathematical Intelligencer | 1984-01-01 | Paper |
Alexander duality
Pacific Journal of Mathematics | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3817992 (Why is no real title available?) | 1983-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 |
| scientific article; zbMATH DE number 3840083 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3726547 (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 |
| 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 |
Algebraic numbers, a constructive development
Pacific Journal of Mathematics | 1978-01-01 | Paper |
A family of functors defined on generalized primary groups
Pacific Journal of Mathematics | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3303164 (Why is no real title available?) | 1968-01-01 | Paper |
