Theories with equational forking

被引：3

作者：

Junker, M ^{[1
]}

Kraus, I ^{[1
]}

机构：

[1] Univ Freiburg, Inst Math Log, D-79104 Freiburg, Germany

来源：

JOURNAL OF SYMBOLIC LOGIC | 2002年 / 67卷 / 01期

关键词：

D O I：

10.2178/jsl/1190150047

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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

引用

页码：326 / 340

页数：15

共 50 条

[1] Forking in simple unstable theories
Kim, B
[J]. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1998, 57 : 257 - 267
[2] Geometry of forking in simple theories
Peretz, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (01) : 347 - 359
[3] Discrete equational theories
Rosicky, J.
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2024, 34 (02) : 147 - 160
[4] A note on equational theories
Junker, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (04) : 1705 - 1712
[5] EQUATIONAL THEORIES AND UNIVERSAL THEORIES OF FIELDS
ONO, H
[J]. JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1983, 35 (02) : 289 - 306
[6] JOIN OF EQUATIONAL THEORIES
PIGOZZI, D
[J]. COLLOQUIUM MATHEMATICUM, 1974, 30 (01) : 15 - 25
[7] EQUATIONAL THEORIES OF FIELDS
Martin-Pizarro, Amador
Ziegler, Martin
[J]. JOURNAL OF SYMBOLIC LOGIC, 2020, 85 (02) : 828 - 851
[8] THE LATTICE OF EQUATIONAL THEORIES .4. EQUATIONAL THEORIES OF FINITE-ALGEBRAS
JEZEK, J
[J]. CZECHOSLOVAK MATHEMATICAL JOURNAL, 1986, 36 (02) : 331 - 341
[9] Very simple theories without forking
Newelski, L
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2003, 42 (06) : 601 - 616
[10] FORKING IN VC-MINIMAL THEORIES
Cotter, Sarah
Starchenko, Sergei
[J]. JOURNAL OF SYMBOLIC LOGIC, 2012, 77 (04) : 1257 - 1271

← 1 2 3 4 5 →