Forking and independence for fragments of Jonsson sets

Authors

  • O.I. Ulbrikht

DOI:

https://doi.org/10.31489/2018m2/113-118

Keywords:

Jonsson theory, semantic model, existential type, Jonsson set, a fragment of the Jonsson set, forking, independence

Abstract

The concept of independence plays a very important role in Model Theory for classification of a fixed complete theory. In this paper, we study the Jonsson theories, which, generally speaking, are not complete. For such theories, the concept of forking is introduced axiomatically in the framework of the study of the Jonsson subsets of the semantic model of this theory. Equivalence of forking by Shelah, by Laskar-Poizat and an axiomatically given forking for existential types over subsets of the semantic model of the Jonsson theory is given. Further, as and for complete theories, independence is defined through the notion of non - forking.

Downloads

Published

2018-06-30

Issue

Section

MATHEMATICS