Homomorphisms and quotients of degree structures

, &
Annals of Pure and Applied Logic 123 (1-3):193-233 (2003)
  Copy   BIBTEX

Abstract

We investigate homomorphisms of degree structures with various relations, functions and constants. Our main emphasis is on pseudolattices, i.e., partially ordered sets with a join operation and relations simulating the meet operation. We show that there are no finite quotients of the pseudolattice of degrees or of the pseudolattice of degrees 0′, but that many finite distributive lattices are pseudolattice quotients of the pseudolattice of computably enumerable degrees

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(03)00024-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Computable and continuous partial homomorphisms on metric partial algebras.Viggo Stoltenberg-Hansen & John V. Tucker - 2003 - Bulletin of Symbolic Logic 9 (3):299-334.
Automatic continuity of group homomorphisms.Christian Rosendal - 2009 - Bulletin of Symbolic Logic 15 (2):184-214.
On Baire Measurable Homomorphisms of Quotients of the Additive Group of the Reals.Vladimir Kanovei & Michael Reeken - 2000 - Mathematical Logic Quarterly 46 (3):377-384.
Subalgebras and homomorphisms of semi-post algebras.Nguyen Cat Ho & Helena Rasiowa - 1987 - Studia Logica 46 (2):161 - 175.
Differences between Resource Bounded Degree Structures.Theodore A. Slaman & Michael~E. Mytilinaios - 2003 - Notre Dame Journal of Formal Logic 44 (1):1-12.
Realizing Levels of the Hyperarithmetic Hierarchy as Degree Spectra of Relations on Computable Structures.Walker M. White & Denis R. Hirschfeldt - 2002 - Notre Dame Journal of Formal Logic 43 (1):51-64.
Definable homomorphisms of abelian groups in o-minimal structures.Ya'acov Peterzil & Sergei Starchenko - 1999 - Annals of Pure and Applied Logic 101 (1):1-27.
An almost-universal cupping degree.Jiang Liu & Guohua Wu - 2011 - Journal of Symbolic Logic 76 (4):1137-1152.
Axiomatizable classes with strong homomorphisms.S. S. Goncharov - 1987 - Studia Logica 46 (2):113 - 120.
Continuum-Many Boolean Algebras of the Form [image] Borel.Michael Ray Oliver - 2004 - Journal of Symbolic Logic 69 (3):799 - 816.
Continuum-many Boolean algebras of the form $\mathcal{p}(\omega)/\mathcal{I}, \mathcal{I}$ borel.Michael Ray Oliver - 2004 - Journal of Symbolic Logic 69 (3):799 - 816.
Automatic structures of bounded degree revisited.Dietrich Kuske & Markus Lohrey - 2011 - Journal of Symbolic Logic 76 (4):1352-1380.

Analytics

Added to PP
2014-01-16

Downloads
18 (#836,872)

6 months
9 (#317,143)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Incomparable prime ideals of recursively enumerable degrees.William C. Calhoun - 1993 - Annals of Pure and Applied Logic 63 (1):39-56.

Add more references