Related papers: Lattice initial segments of the Turing degrees
Given a finite lattice $L$ that can be embedded in the recursively enumerable (r.e.) Turing degrees $\mathcal{R}_{\mathrm{T}}$, it is not known how one can characterize the degrees $\mathbf{d}\in\mathcal{R}_{\mathrm{T}}$ below which $L$ can…
We initiate the computability-theoretic study of ringed spaces and schemes. In particular, we show that any Turing degree may occur as the least degree of an isomorphic copy of a structure of these kinds. We also show that these structures…
We study the degree of non-homogeneous lattice ideals over arbitrary fields, and give formulae to compute the degree in terms of the torsion of certain factor groups of Z^s and in terms of relative volumes of lattice polytopes. We also…
Working over a field of characteristic zero, we give structure theorems for all grade three licci ideals and their minimal free resolutions. In particular, we completely classify such ideals up to deformation. The descriptions of their…
We affirm a conjecture of Sacks [1972] by showing that every countable distributive lattice is isomorphic to an initial segment of the hyperdegrees, $\mathcal{D}_{h}$. In fact, we prove that every sublattice of any hyperarithmetic lattice…
In the first section of the present work, we introduce the concept of pseudocomplementation for semirings and show semiring version of some known results in lattice theory. We also introduce semirings with pc-functions and prove some…
We prove that every finite distributive lattice is isomorphic to a final segment of the d.c.e. Turing degrees (i.e., the degrees of differences of computably enumerable sets). As a corollary, we are able to infer the undecidability of the…
Let \Gamma=<\alpha, \beta > be a numerical semigroup. In this article we consider several relations between the so-called \Gamma-semimodules and lattice paths from (0,\alpha) to (\beta,0): we investigate isomorphism classes of…
The study of automorphisms of computable and other structures connects computability theory with classical group theory. Among the noncomputable countable structures, computably enumerable structures are one of the most important objects of…
We characterize numerical semigroups for which the poset of its ideal class monoid is a lattice, and study the irreducible elements of such a lattice with respect to union, intersection, infimum and supremum.
The aim of this paper is to give necessary and sufficient conditions for an integral polynomial to be the characteristic polynomial of a semi-simple isometry of some even unimodular lattice of given signature. This result has applications…
If $\Gamma$ is an irreducible non-uniform higher-rank characteristic zero arithmetic lattice (for example, $SL_n(\mathbb{Z})$, $n \geq 3$) and $\Lambda$ is a finitely generated group that is elementarily equivalent to $\Gamma$, then…
We study separation axioms for $X$-top-lattices (i.e. lattices $L$ for which a given subset $X\subseteq L\backslash \{1\}$ admits a \emph{Zariski-like topology}). Such spaces are $T_{0}$ and usually far away from being $T_{2}.$% We give…
We characterize those semilattices that give rise to Boolean spaces on their associated spaces of ultrafilters. The class of 0-disjunctive semilattices, important in the theory of congruence-free inverse semigroups, plays a distinguished…
We study several separation axioms for $X$-top-lattices (i.e. a lattice $L$ for which a given subset $X\subseteq L\backslash \{1\}$ admits a \emph{% Zariski-like topology}). Such spaces are $T_{0}$ and usually far away from being $T_{2}.$…
We give a comprehensive survey of the theory of finite dimensional Lie algebras over an algebraically closed field of characteristic p>0 and announce that for p>3 the classification of finite dimensional simple Lie algebras is complete. Any…
The Turing degree spectrum of a countable structure $\mathcal{A}$ is the set of all Turing degrees of isomorphic copies of $\mathcal{A}$. The Turing degree of the isomorphism type of $\mathcal{A}$, if it exists, is the least Turing degree…
A countable semigroup is $\aleph_0$-categorical if it can be characterised, up to isomorphism, by its first-order properties. In this paper we continue our investigation into the $\aleph_0$-categoricity of semigroups. Our main results are a…
We study the regularity and the algebraic properties of certain lattice ideals. We establish a map I --> I\~ between the family of graded lattice ideals in an N-graded polynomial ring over a field K and the family of graded lattice ideals…
This article extends Bayer-Fluckiger's theorem on characteristic polynomials of isometries on an even unimodular lattice to the case where the isometries have determinant $-1$. As an application, we show that the logarithm of every Salem…