The Decision Problem for Certain Nilpotent Closed Varieties

Mathematical Logic Quarterly 27 (31-35):557-560 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19810273108

Links

PhilArchive



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

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

The Decision Problem for Certain Nilpotent Closed Varieties.Stephen D. Comer - 1981 - Mathematical Logic Quarterly 27 (31‐35):557-560.
First-order Nilpotent minimum logics: first steps.Matteo Bianchi - 2013 - Archive for Mathematical Logic 52 (3-4):295-316.
Stability of nilpotent groups of class 2 and prime exponent.Alan H. Mekler - 1981 - Journal of Symbolic Logic 46 (4):781-788.
The basis decision problem in λ‐calculus.Benedetto Intrigila - 1993 - Mathematical Logic Quarterly 39 (1):178-180.
The Maximal Closed Classes of Unary Functions in p‐Valued Logic.Liu Renren & Lo Czukai - 1996 - Mathematical Logic Quarterly 42 (1):234-240.
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic.Carles Noguera, Francesc Esteva & Joan Gispert - 2008 - Mathematical Logic Quarterly 54 (4):387-409.
Existentially closed torsion-free nilpotent groups of class three.Berthold J. Maier - 1984 - Journal of Symbolic Logic 49 (1):220-230.
Propriétés résiduelLes dans Les groupes supersimpLes.Frank Wagner - 2011 - Journal of Symbolic Logic 76 (2):361 - 367.
On stable torsion-free nilpotent groups.Claus Grünenwald & Frieder Haug - 1993 - Archive for Mathematical Logic 32 (6):451-462.
Decidability and stability of free nilpotent lie algebras and free nilpotent p-groups of finite exponent.Andreas Baudisch - 1982 - Annals of Mathematical Logic 23 (1):1-25.
Split BN-pairs of finite Morley rank.Katrin Tent - 2003 - Annals of Pure and Applied Logic 119 (1-3):239-264.
Real and complex analytic sets. The relevance of Segre varieties.Klas Diederich & Emmanuel Mazzilli - 2008 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 7 (3):447-454.
Commutator conditions and splitting automorphisms for stable groups.Frank O. Wagner - 1993 - Archive for Mathematical Logic 32 (3):223-228.
Unification and projectivity in Fregean varieties.Katarzyna Słomczyńska - 2012 - Logic Journal of the IGPL 20 (1):73-93.
Nilpotent complements and Carter subgroups in stable ℜ-groups.Frank O. Wagner - 1994 - Archive for Mathematical Logic 33 (1):23-34.

Analytics

Added to PP
2015-12-02

Downloads
34 (#474,174)

6 months
3 (#984,719)

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

Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.

Add more references