Forking in Finite Models

Notre Dame Journal of Formal Logic 56 (2):307-320 (2015)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2864316

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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

Counting Measure and Forking in Finite Models. [REVIEW]Tapani Hyttinen - 2015 - In Asa Hirvonen, Juha Kontinen, Roman Kossak & Andres Villaveces (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 265-280.
Super/rosy L k -theories and classes of finite structures.Cameron Donnay Hill - 2013 - Annals of Pure and Applied Logic 164 (10):907-927.
Independence in finitary abstract elementary classes.Tapani Hyttinen & Meeri Kesälä - 2006 - Annals of Pure and Applied Logic 143 (1-3):103-138.
Non-forking frames in abstract elementary classes.Adi Jarden & Saharon Shelah - 2013 - Annals of Pure and Applied Logic 164 (3):135-191.
Amalgamation properties and finite models in L n -theories.John Baldwin & Olivier Lessmann - 2002 - Archive for Mathematical Logic 41 (2):155-167.
Forking and dividing in fields with several orderings and valuations.Will Johnson - 2022 - Journal of Mathematical Logic 22 (1):2150025.
Stable theories without dense forking chains.Bernhard Herwig, James G. Loveys, Anand Pillay, Predag Tanović & O. Wagner - 1992 - Archive for Mathematical Logic 31 (5):297-303.
Syntactic Refutations against Finite Models in Modal Logic.Tomasz Skura - 1994 - Notre Dame Journal of Formal Logic 35 (4):595-605.
Stable Forking and Imaginaries.Enrique Casanovas & Joris Potier - 2018 - Notre Dame Journal of Formal Logic 59 (4):497-502.

Analytics

Added to PP
2015-04-17

Downloads
21 (#1,002,183)

6 months
1 (#1,886,877)

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

On stability in finite models.Tapani Hyttinen - 2000 - Archive for Mathematical Logic 39 (2):89-102.

Add more references