Categorical Quasivarieties via Morita Equivalence

Journal of Symbolic Logic 65 (2):839-856 (2000)
  Copy   BIBTEX

Abstract

We give a new proof of the classification of $\aleph_0$-categorical quasivarieties by using Morita equivalence to reduce to term minimal quasivarieties.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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

Morita Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Review of Symbolic Logic 9 (3):556-582.
Lattice-ordered Abelian groups and perfect mv-algebras: A topos-theoretic perspective.Olivia Caramello & Anna Carla Russo - 2016 - Bulletin of Symbolic Logic 22 (2):170-214.
On Morita equivalence and interpretability.Paul Anh Mceldowney - 2020 - Review of Symbolic Logic 13 (2):388-415.
On Morita equivalence and interpretability.Paul Anh Mceldowney - forthcoming - Review of Symbolic Logic:1-27.
Definable categorical equivalence.Laurenz Hudetz - 2019 - Philosophy of Science 86 (1):47-75.
Subquasivarieties of implicative locally-finite quasivarieties.Alexej P. Pynko - 2010 - Mathematical Logic Quarterly 56 (6):643-658.
Testing Definitional Equivalence of Theories Via Automorphism Groups.Hajnal Andréka, Judit Madarász, István Németi & Gergely Székely - forthcoming - Review of Symbolic Logic:1-22.
Dominions in quasivarieties of universal algebras.Alexander Budkin - 2004 - Studia Logica 78 (1-2):107 - 127.
Komori Identities In Algebraic Logic.Willem Blok & Silvia La Falce - 2000 - Reports on Mathematical Logic:79-106.
A syntactic characterization of Morita equivalence.Dimitris Tsementzis - 2017 - Journal of Symbolic Logic 82 (4):1181-1198.

Analytics

Added to PP
2009-01-28

Downloads
23 (#671,079)

6 months
8 (#506,022)

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

Universal horn classes categorical or free in power.Steven Givant - 1978 - Annals of Mathematical Logic 15 (1):1-53.

Add more references