Undecidability of the first order theories of free noncommutative lie algebras

&
Journal of Symbolic Logic 83 (3):1204-1216 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2017.80

Links

PhilArchive



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

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

Lindenbaum algebras of intuitionistic theories and free categories.Peter Freyd, Harvey Friedman & Andre Scedrov - 1987 - Annals of Pure and Applied Logic 35 (C):167-172.
Noncummulative cylindric algebras and relativizations of cylindric algebras.Richard Thompson - 1988 - Bulletin of the Section of Logic 17 (2):75-81.
The undecidability of the first-order theory of diagonalizable algebras.Franco Montagna - 1980 - Studia Logica 39 (4):355 - 359.
Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
Topics in Noncommutative Geometry Inspired Physics.Rabin Banerjee, Biswajit Chakraborty, Subir Ghosh, Pradip Mukherjee & Saurav Samanta - 2009 - Foundations of Physics 39 (12):1297-1345.
The Universal Theory of First Order Algebras and Various Reducts.Lawrence Valby - 2015 - Logica Universalis 9 (4):475-500.
Undecidability in diagonalizable algebras.V. Yu Shavrukov - 1997 - Journal of Symbolic Logic 62 (1):79-116.
Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
Undecidability in Diagonalizable Algebras.V. Shavrukov - 1997 - Journal of Symbolic Logic 62 (1):79-116.
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)².Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157 - 181.
The finite inseparability of the first-order theory of diagonalisable algebras.Craig Smoryński - 1982 - Studia Logica 41 (4):347 - 349.
A characterization of MV-algebras free over finite distributive lattices.Vincenzo Marra - 2008 - Archive for Mathematical Logic 47 (3):263-276.
A Short note on the Free Implication Algebra over a Poset.Figallo-Orellano Aldo - 2016 - SOUTH AMERICAN JOURNAL OF LOGIC 2 (1):91-100.
On Vaught’s Conjecture and finitely valued MV algebras.Antonio Di Nola & Giacomo Lenzi - 2012 - Mathematical Logic Quarterly 58 (3):139-152.
Decomposability of free Łukasiewicz implication algebras.Jose Patricio Díaz Varela & Antoni Torrens Torrell - 2006 - Archive for Mathematical Logic 45 (8):1011-1020.

Analytics

Added to PP
2018-10-25

Downloads
6 (#1,452,758)

6 months
1 (#1,472,167)

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

On elementary properties of free lie algebras.Andreas Baudisch - 1986 - Annals of Pure and Applied Logic 30 (2):121-136.

Add more references