| Publication | Date of Publication | Type |
|---|
Cantor-Bendixson properties of the assembly of a frame.
Leo Esakia on Duality in Modal and Intuitionistic Logics | 2015-06-19 | Paper |
| An introduction to category theory | 2012-04-04 | Paper |
A decomposition theory for complete modular meet-continuous lattices
Algebra Universalis | 2011-05-11 | Paper |
A curious nucleus
Journal of Pure and Applied Algebra | 2010-06-25 | Paper |
The Ackermann functions are not optimal, but by how much?
Journal of Symbolic Logic | 2010-03-15 | Paper |
Fruitful and helpful ordinal functions
Archive for Mathematical Logic | 2008-11-17 | Paper |
| scientific article; zbMATH DE number 5285451 (Why is no real title available?) | 2008-06-06 | Paper |
| An ordinal indexed hierarchy of separation properties | 2008-02-15 | Paper |
A coverage construction of the reals and the irrationals
Annals of Pure and Applied Logic | 2007-02-14 | Paper |
Point-sensitive and point-free patch constructions
Journal of Pure and Applied Algebra | 2006-09-25 | Paper |
Regularity, fitness, and the block structure of frames
Applied Categorical Structures | 2006-09-12 | Paper |
Tiering as a Recursion Technique
The Bulletin of Symbolic Logic | 2006-02-08 | Paper |
The extended Cantor-Bendixson analysis of trees
Algebra Universalis | 2006-01-06 | Paper |
A comparison of two systems of ordinal notations
Archive for Mathematical Logic | 2004-09-22 | Paper |
Monoid based semantics for linear formulas (corrected republication)
Journal of Symbolic Logic | 2003-09-07 | Paper |
Monoid based semantics for linear formulas
Journal of Symbolic Logic | 2002-10-08 | Paper |
| scientific article; zbMATH DE number 1469885 (Why is no real title available?) | 2000-07-04 | Paper |
The glueing construction and lax limits
Mathematical Structures in Computer Science | 1995-04-06 | Paper |
| scientific article; zbMATH DE number 732978 (Why is no real title available?) | 1995-03-12 | Paper |
The Monotonous Elimination of Predicate Variables
Journal Of Logic And Computation | 1994-03-27 | Paper |
| scientific article; zbMATH DE number 41154 (Why is no real title available?) | 1992-09-17 | Paper |
Generalized deviations of posets
Discrete Mathematics | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 4187082 (Why is no real title available?) | 1990-01-01 | Paper |
Near-discreteness of modules and spaces as measured by Gabriel and Cantor
Journal of Pure and Applied Algebra | 1989-01-01 | Paper |
Compact representations - the lattice theory of compact ringed spaces
Journal of Algebra | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4127281 (Why is no real title available?) | 1989-01-01 | Paper |
An escalator characterization of finite uniform dimensionality
Communications in Algebra | 1989-01-01 | Paper |
The realm of primitive recursion
Archive for Mathematical Logic | 1988-01-01 | Paper |
The Gabriel Dimension and Cantor-Bendixson Rank of a Ring
Bulletin of the London Mathematical Society | 1988-01-01 | Paper |
The semiring of topologizing filters of a ring
Israel Journal of Mathematics | 1988-01-01 | Paper |
Large discrete parts of the E-tree
Journal of Symbolic Logic | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4055592 (Why is no real title available?) | 1987-01-01 | Paper |
Sheaf representations of strongly harmonic rings
Proceedings of the Royal Society of Edinburgh: Section A Mathematics | 1985-01-01 | Paper |
Torsion theoretic points and spaces
Proceedings of the Royal Society of Edinburgh: Section A Mathematics | 1984-01-01 | Paper |
A Sheaf Representation for Modules with Applications to Gelfand Rings
Proceedings of the London Mathematical Society | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3920723 (Why is no real title available?) | 1984-01-01 | Paper |
A couple of triples
Topology and its Applications | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3779393 (Why is no real title available?) | 1982-01-01 | Paper |
Erratum to: Reticulated rings
Journal of Algebra | 1982-01-01 | Paper |
Reticulated rings
Journal of Algebra | 1980-01-01 | Paper |
Spaces with Boolean assemblies
Colloquium Mathematicum | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3672279 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3737633 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3715645 (Why is no real title available?) | 1980-01-01 | Paper |
The lattice theoretic part of topological separation properties
Proceedings of the Edinburgh Mathematical Society | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3775591 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3674061 (Why is no real title available?) | 1977-01-01 | Paper |
Correction to: Each regular number structure is biregular
Israel Journal of Mathematics | 1977-01-01 | Paper |
Large and small existentially closed structures
Journal of Symbolic Logic | 1976-01-01 | Paper |
Each regular number structure is biregular
Israel Journal of Mathematics | 1976-01-01 | Paper |
Algebraic properties of number theories
Israel Journal of Mathematics | 1975-01-01 | Paper |
Topological aspects of suitable theories
Proceedings of the Edinburgh Mathematical Society | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3499745 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3503225 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3455250 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3455250 (Why is no real title available?) | 1974-01-01 | Paper |
Gödel's diagonalization technique and related properties of theories
Colloquium Mathematicum | 1973-01-01 | Paper |
The Word Problem for Absolute Presentations
Journal of the London Mathematical Society | 1973-01-01 | Paper |
The forcing companions of number theories
Israel Journal of Mathematics | 1973-01-01 | Paper |
A Possible Characterization of Generic Structures.
MATHEMATICA SCANDINAVICA | 1973-01-01 | Paper |
An Omitting Types Theorem with an Application to the Construction of Generic Structures.
MATHEMATICA SCANDINAVICA | 1973-01-01 | Paper |
Existentially closed structures
Journal of Symbolic Logic | 1972-01-01 | Paper |
The solution of a decision problem for several classes of rings
Pacific Journal of Mathematics | 1970-01-01 | Paper |
