| Publication | Date of Publication | Type |
|---|
A general separation theorem for various structures
Acta Mathematica Hungarica | 2021-01-25 | Paper |
When series of computable functions with varying domains are computable
Mathematical Logic Quarterly | 2014-02-05 | Paper |
On properties of forbidden zones of polygons and polytopes
Transactions on Computational Science XX | 2013-12-17 | Paper |
Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Mollified zone diagrams and their computation
Lecture Notes in Computer Science | 2012-03-09 | Paper |
On Turing degrees of points in computable topology
Mathematical Logic Quarterly | 2008-10-08 | Paper |
On degree-preserving homeomorphisms between trees in computable topology
Archive for Mathematical Logic | 2008-05-26 | Paper |
| scientific article; zbMATH DE number 5269389 (Why is no real title available?) | 2008-04-29 | Paper |
| scientific article; zbMATH DE number 5066359 (Why is no real title available?) | 2006-10-23 | Paper |
Density and Baire category in recursive topology
Mathematical Logic Quarterly | 2005-02-16 | Paper |
A blend of methods of recursion theory and topology: a _1⁰ tree of shadow points
Archive for Mathematical Logic | 2005-02-11 | Paper |
A blend of methods of recursion theory and topology.
Annals of Pure and Applied Logic | 2003-11-25 | Paper |
| scientific article; zbMATH DE number 1302880 (Why is no real title available?) | 1999-12-13 | Paper |
Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II
Annals of Pure and Applied Logic | 1999-09-22 | Paper |
Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
Annals of Pure and Applied Logic | 1999-09-15 | Paper |
| scientific article; zbMATH DE number 1302881 (Why is no real title available?) | 1999-06-17 | Paper |
A basic family of iteration functions for polynomial root finding and its characterizations
Journal of Computational and Applied Mathematics | 1997-11-10 | Paper |
High order iterative methods for approximating square roots
BIT | 1997-09-17 | Paper |
| scientific article; zbMATH DE number 828003 (Why is no real title available?) | 1995-12-20 | Paper |
Effective topological spaces. III: Forcing and definability
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
Effective topological spaces. II: A hierarchy
Annals of Pure and Applied Logic | 1985-01-01 | Paper |
Effective topological spaces. I: A definability theory
Annals of Pure and Applied Logic | 1985-01-01 | Paper |
Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1985-01-01 | Paper |
Recursively enumerable sets and van der Waerden's theorem on arithmetic progressions
Pacific Journal of Mathematics | 1984-01-01 | Paper |
A Data Structure and an Algorithm for the Nearest Point Problem
IEEE Transactions on Software Engineering | 1983-01-01 | Paper |
Degrees of recursively enumerable topological spaces
Journal of Symbolic Logic | 1983-01-01 | Paper |
Maximality in effective topology
Journal of Symbolic Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3823760 (Why is no real title available?) | 1982-01-01 | Paper |
Simplicity in effective topology
Journal of Symbolic Logic | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3747092 (Why is no real title available?) | 1981-01-01 | Paper |
Recursive constructions in topological spaces
Journal of Symbolic Logic | 1979-01-01 | Paper |
Automorphisms of the Lattice of Recursively Enumerable Vector Spaces
Mathematical Logic Quarterly | 1979-01-01 | Paper |
Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces
Journal of Symbolic Logic | 1978-01-01 | Paper |
Major subspaces of recursively enumerable vector spaces
Journal of Symbolic Logic | 1978-01-01 | Paper |
