Results 1  10
of
14
Nonmeasurability properties of interpolation vector spaces”, preprint
"... Abstract. It is known that every dimension group with orderunit of size at most ℵ1 is isomorphic to K0(R) for some locally matricial ring R (in particular, R is von Neumann regular); similarly, every conical refinement monoid with orderunit of size at most ℵ1 is the image of a Vmeasure in Dobbert ..."
Abstract

Cited by 27 (15 self)
 Add to MetaCart
(Show Context)
Abstract. It is known that every dimension group with orderunit of size at most ℵ1 is isomorphic to K0(R) for some locally matricial ring R (in particular, R is von Neumann regular); similarly, every conical refinement monoid with orderunit of size at most ℵ1 is the image of a Vmeasure in Dobbertin’s sense, the corresponding problems for larger cardinalities being open. We settle these problems here, by showing a general functorial procedure to construct ordered vector spaces with interpolation and orderunit E of cardinality ℵ2 (or whatever larger) with strong nonmeasurability properties. These properties yield in particular that E+ is not measurable in Dobbertin’s sense, or that E is not isomorphic to the K0 of any von Neumann regular ring, or that the maximal semilattice quotient of E+ is not the range of any weak distributive homomorphism (in E.T. Schmidt’s sense) on any distributive lattice, thus respectively solving problems of Dobbertin, Goodearl and Schmidt. §0. Introduction. Let M be a commutative monoid and let L be a lattice with 0. Say that a map µ: L →M is a measure when µ(0) = 0 and µ(a ∨ b) = µ(a) + µ(b) whenever a ∧ b = 0; furthermore, if L has a largest element 1 and if we have fixed a distinguished element e of M, say that µ is normalized when µ(1) = e. In his paper [5], H. Dobbertin considers Vaught measures,
The completeness of the isomorphism relation for countable Boolean algebras
 Trans. Amer. Math. Soc
"... Abstract. We show that the isomorphism relation for countable Boolean algebras is Borel complete, i.e., the isomorphism relation for arbitrary countable structures is Borel reducible to that for countable Boolean algebras. This implies that Ketonen’s classification of countable Boolean algebras is o ..."
Abstract

Cited by 20 (2 self)
 Add to MetaCart
(Show Context)
Abstract. We show that the isomorphism relation for countable Boolean algebras is Borel complete, i.e., the isomorphism relation for arbitrary countable structures is Borel reducible to that for countable Boolean algebras. This implies that Ketonen’s classification of countable Boolean algebras is optimal in the sense that the kind of objects used for the complete invariants cannot be improved in an essential way. We also give a stronger form of the Vaught conjecture for Boolean algebras which states that, for any complete firstorder theory of Boolean algebras that has more than one countable model up to isomorphism, the class of countable models for the theory is Borel complete. The results are applied to settle many other classification problems related to countable Boolean algebras and separable Boolean spaces. In particular, we will show that the following equivalence relations are Borel complete: the translation equivalence between closed subsets of the Cantor space, the isomorphism relation between ideals of the countable atomless Boolean algebra, the conjugacy equivalence of the autohomeomorphisms of the Cantor space, etc. Another corollary of our results is the Borel completeness of the commutative AF C ∗algebras, which in turn gives rise to similar results for Bratteli diagrams and dimension groups. 1.
On Presentations of Algebraic Structures
 in Complexity, Logic and Recursion Theory
, 1995
"... This paper is an expanded version of an part of a series of invited lectures given by the author during May 1995 in Siena, Italy to the COLORET II conference. This work is partially supported by Victoria University IGC and the Marsden Fund for Basic Science under grant VIC509. This paper is dedicat ..."
Abstract

Cited by 17 (6 self)
 Add to MetaCart
(Show Context)
This paper is an expanded version of an part of a series of invited lectures given by the author during May 1995 in Siena, Italy to the COLORET II conference. This work is partially supported by Victoria University IGC and the Marsden Fund for Basic Science under grant VIC509. This paper is dedicated to the memory of my friend and teacher Chris Ash who contributed so much to effective structure theory and who left us far too young early in 1995
Classification from a computable viewpoint
 The Bulletin of Symbolic Logic
"... Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
(Show Context)
Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism
Topological and Geometric aspects of the Ziegler Spectrum
, 1998
"... The aim here is to emphasise the topological and geometric structure that the Ziegler spectrum carries and to illustrate how this structure may be used in the analysis of particular examples. There is not space here for me to give a survey of what is known about the Ziegler spectrum so there are ..."
Abstract

Cited by 9 (6 self)
 Add to MetaCart
The aim here is to emphasise the topological and geometric structure that the Ziegler spectrum carries and to illustrate how this structure may be used in the analysis of particular examples. There is not space here for me to give a survey of what is known about the Ziegler spectrum so there are a number of topics that I will just mention in order to give some indication of what lies beyond what is discussed here. 1. The Ziegler spectrum 2. Various dimensions 3. These dimensions for artin algebras 4. These dimensions in general 5. Duality 6. The complexity of morphisms in modR 7. The GabrielZariski topology 8. The sheaf of locally definable scalars 1 The Ziegler spectrum 1.1 A reminder on purity and pureinjectives Suppose that M is a submodule of N . Consider a finite system \Sigma n i=1 x i r ij = a j (j = 1; :::m) of Rlinear equations over M : that is, the r ij are in R, the 1 a j are in M and the x i are indeterminates. Suppose that there is a solution b 1 ; ...
Effective presentability of Boolean algebras of CantorBendixson rank 1
 Journal of Symbolic Logic
, 1999
"... We show that there is a computable Boolean algebra B and a computably enumerable ideal I of B such that the quotient algebra B/I is of CantorBendixson rank 1 and is not isomorphic to any computable Boolean algebra. This extends a result of L. Feiner and is deduced from Feiner's result even tho ..."
Abstract

Cited by 6 (6 self)
 Add to MetaCart
We show that there is a computable Boolean algebra B and a computably enumerable ideal I of B such that the quotient algebra B/I is of CantorBendixson rank 1 and is not isomorphic to any computable Boolean algebra. This extends a result of L. Feiner and is deduced from Feiner's result even though Feiner's construction yields a Boolean algebra of infinite CantorBendixson rank.
On Interval Homogeneous Orthomodular Lattices
"... An orthomodular lattice L is said to be interval homogeneous (resp. centrally interval homogeneous) if it is oecomplete and satisfies the following property: Whenever L is isomorphic to an interval, [a; b], in L then L is isomorphic to each interval [c; d] with c a and d b (resp. the same con ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
(Show Context)
An orthomodular lattice L is said to be interval homogeneous (resp. centrally interval homogeneous) if it is oecomplete and satisfies the following property: Whenever L is isomorphic to an interval, [a; b], in L then L is isomorphic to each interval [c; d] with c a and d b (resp. the same condition as above only under the assumption that all elements a, b, c, d are central in L). Let us denote by Inthom (resp. Inthomc) the class of all interval homogeneous orthomodular lattices (resp. centrally interval homogeneous orthomodular lattices). We first show that the class Inthom is considerably large  it contains any Boolean oealgebra, any blockfinite oecomplete orthomodular lattice, any Hilbert space projection lattice and several other examples. Then we prove that L belongs to Inthom exactly when the CantorBernsteinTarski theorem holds in L. This makes it desirable to know whether there exist oecomplete orthomodular lattices which do not belong to Inthom. Such ex...
Characterizing the Computable Structures: Boolean Algebras and Linear Orders
, 2007
"... A countable structure (with finite signature) is computable if its universe can be identified with ω in such a way as to make the relations and operations computable functions. In this thesis, I study which Boolean algebras and linear orders are computable. Making use of Ketonen invariants, I study ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
A countable structure (with finite signature) is computable if its universe can be identified with ω in such a way as to make the relations and operations computable functions. In this thesis, I study which Boolean algebras and linear orders are computable. Making use of Ketonen invariants, I study the Boolean algebras of low Ketonen depth, both classically and effectively. Classically, I give an explicit characterization of the depth zero Boolean algebras; provide continuum many examples of depth one, rank ω Boolean algebras with range ω + 1; and provide continuum many examples of depth ω, rank one Boolean algebras. Effectively, I show for sets S ⊆ ω + 1 with greatest element, the depth zero Boolean algebras Bu(S) and Bv(S) are computable if and only if S \{ω} is Σ 0 n↦→2n+3 in the Feiner Σhierarchy. Making use of the existing notion of limitwise monotonic functions and the new notion of limit infimum functions, I characterize which shuffle sums of ordinals below ω + 1 have computable copies. Additionally, I show that the notions of limitwise monotonic functions relative to 0 ′ and limit infimum functions coincide.
DEPTH ZERO BOOLEAN ALGEBRAS
, 2010
"... Abstract. We study the class of depth zero Boolean algebras, both from a classical viewpoint and an effective viewpoint. In particular, we provide an algebraic characterization, constructing an explicit measure for each depth zero Boolean algebra and demonstrating there are no others, and an effecti ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. We study the class of depth zero Boolean algebras, both from a classical viewpoint and an effective viewpoint. In particular, we provide an algebraic characterization, constructing an explicit measure for each depth zero Boolean algebra and demonstrating there are no others, and an effective characterization, providing a necessary and sufficient condition for a depth zero Boolean algebra of rank at most ω to have a computable presentation. 1.