Profiniteness in finitely generated varieties is undecidable

&
Journal of Symbolic Logic 83 (4):1566-1578 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2017.89

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pałasińska’s Theorem Revisited.Anvar M. Nurakunov & Michał M. Stronkowski - 2013 - Studia Logica 101 (4):827-847.
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
Generic Complexity of Undecidable Problems.Alexei G. Myasnikov & Alexander N. Rybalov - 2008 - Journal of Symbolic Logic 73 (2):656 - 673.
Irreducible Residuated Semilattices and Finitely Based Varieties.Nikolaos Galatos, Jeffrey Olson & James Raftery - 2008 - Reports on Mathematical Logic.
Higman's Embedding Theorem in a General Setting and Its Application to Existentially Closed Algebras.Oleg V. Belegradek - 1996 - Notre Dame Journal of Formal Logic 37 (4):613-624.
Quasivarieties with Definable Relative Principal Subcongruences.Anvar M. Nurakunov & M. M. Stronkowski - 2009 - Studia Logica 92 (1):109-120.
A non-finitely based quasi-variety of de Morgan algebras.Hernando Gaitán & Milton H. Perea - 2004 - Studia Logica 78 (1-2):237 - 248.
A non-finitely based quasi-variety of De Morgan algebras.Hernando Gaitán & Milton Perea - 2004 - Studia Logica 78 (1-2):237-248.
Pretabular varieties of modal algebras.W. J. Blok - 1980 - Studia Logica 39 (2-3):101 - 124.
Equational bases for joins of residuated-lattice varieties.Nikolaos Galatos - 2004 - Studia Logica 76 (2):227 - 240.
Satisfaction of existential theories in finitely presented groups and some embedding theorems.Abderezak Ould Houcine - 2006 - Annals of Pure and Applied Logic 142 (1):351-365.
Representations of monadic MV -algebras.L. Peter Belluce, Revaz Grigolia & Ada Lettieri - 2005 - Studia Logica 81 (1):123-144.
Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras.B. A. Davey & H. A. Priestley - 2012 - Studia Logica 100 (1-2):137-161.
Model theoretic connected components of finitely generated nilpotent groups.Nathan Bowler, Cong Chen & Jakub Gismatullin - 2013 - Journal of Symbolic Logic 78 (1):245-259.

Analytics

Added to PP
2018-12-22

Downloads
11 (#1,110,001)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Add more references