Theories with equational forking

Journal of Symbolic Logic 67 (1):326-340 (2002)
  Copy   BIBTEX

Abstract

We show that equational independence in the sense of Srour equals local non-forking. We then examine so-called almost equational theories where equational independence is a symmetric relation

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A note on definability in equational logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.
A note on equational theories.Markus Junker - 2000 - Journal of Symbolic Logic 65 (4):1705-1712.
Geometry of Forking in Simple Theories.Assaf Peretz - 2006 - Journal of Symbolic Logic 71 (1):347 - 359.
The independence relation in separably closed fields.G. Srour - 1986 - Journal of Symbolic Logic 51 (3):715-725.
Interactions of scope and ellipsis.Stuart M. Shieber, Fernando C. N. Pereira & Mary Dalrymple - 1996 - Linguistics and Philosophy 19 (5):527 - 552.
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.

Analytics

Added to PP
2009-01-28

Downloads
19 (#679,913)

6 months
1 (#1,028,709)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Semi-Equational Theories.Artem Chernikov & Alex Mennen - forthcoming - Journal of Symbolic Logic:1-32.
Comparing axiomatizations of free pseudospaces.Olaf Beyersdorff - 2009 - Archive for Mathematical Logic 48 (7):625-641.
Schlanke Körper (Slim fields).Markus Junker & Jochen Koenigsmann - 2010 - Journal of Symbolic Logic 75 (2):481-500.

Add more citations

References found in this work

Simple theories.Byunghan Kim & Anand Pillay - 1997 - Annals of Pure and Applied Logic 88 (2-3):149-164.
A new strongly minimal set.Ehud Hrushovski - 1993 - Annals of Pure and Applied Logic 62 (2):147-166.
Fundamentals of forking.Victor Harnik & Leo Harrington - 1984 - Annals of Pure and Applied Logic 26 (3):245-286.
Stabilité en Théorie des Modèles.Daniel Lascar, Ray Mines, Fred Richman & Wim Ruitenburg - 1990 - Journal of Symbolic Logic 55 (2):883-886.
The indiscernible topology: A mock zariski topology.Markus Junker & Daniel Lascar - 2001 - Journal of Mathematical Logic 1 (01):99-124.

Add more references