Saturated free algebras revisited

&
Bulletin of Symbolic Logic 21 (3):306-318 (2015)
  Copy   BIBTEX

Abstract

We give an exposition of results of Baldwin–Shelah [2] on saturated free algebras, at the level of generality of complete first order theories T with a saturated model M which is in the algebraic closure of an indiscernible set. We then make some new observations when M is a saturated free algebra, analogous to results for the free group, such as a description of forking.

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2015.23

Links

PhilArchive



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

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

Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
Some Boolean algebras with finitely many distinguished ideals II.Regina Aragón - 2003 - Mathematical Logic Quarterly 49 (3):260.
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.
Equality-free saturated models.P. Dellunde - 2003 - Reports on Mathematical Logic:3-22.
Decomposability of free Łukasiewicz implication algebras.Jose Patricio Díaz Varela & Antoni Torrens Torrell - 2006 - Archive for Mathematical Logic 45 (8):1011-1020.
On L∞κ-free Boolean algebras.Sakaé Fuchino, Sabine Koppelberg & Makoto Takahashi - 1992 - Annals of Pure and Applied Logic 55 (3):265-284.
Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
Free nilpotent minimum algebras.Manuela Busaniche - 2006 - Mathematical Logic Quarterly 52 (3):219-236.
Finitely generated free Heyting algebras.Fabio Bellissima - 1986 - Journal of Symbolic Logic 51 (1):152-165.
A discrete representation of free MV-algebras.Antonio Di Nola, Revaz Grigolia & Luca Spada - 2010 - Mathematical Logic Quarterly 56 (3):279-288.
Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras.Hernando Gaitán - 1998 - Mathematical Logic Quarterly 44 (4):553-567.
Boolean algebras in ast.Klaus Schumacher - 1992 - Mathematical Logic Quarterly 38 (1):373-382.
Natural dualities for varieties ofn-valued łukasiewicz algebras.H. A. Priestley - 1995 - Studia Logica 54 (3):333 - 370.
A Preliminary Study of MV-Algebras with Two Quantifiers Which Commute.Aldo Figallo Orellano - 2016 - Studia Logica 104 (5):931-956.
A characterization of MV-algebras free over finite distributive lattices.Vincenzo Marra - 2008 - Archive for Mathematical Logic 47 (3):263-276.

Analytics

Added to PP
2016-06-30

Downloads
9 (#1,258,729)

6 months
1 (#1,478,781)

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

Classification Theory and the Number of Nonisomorphic Models.S. Shelah - 1982 - Journal of Symbolic Logic 47 (3):694-696.
Stability in Model Theory.Daniel Lascar & J. E. Wallington - 1990 - Journal of Symbolic Logic 55 (2):881-883.

Add more references