Abstract
We study properties of forking in the classes of all finite models of a complete theory in a finite variable logic. We also study model constructions under the assumption that forking is trivial.
Citation
Tapani Hyttinen. "Forking in Finite Models." Notre Dame J. Formal Logic 56 (2) 307 - 320, 2015. https://doi.org/10.1215/00294527-2864316
Information