Products of Classes of Finite Structures

Notre Dame Journal of Formal Logic 64 (4):441-469 (2023)
  Copy   BIBTEX

Abstract

We study the preservation of certain properties under products of classes of finite structures. In particular, we examine indivisibility, definable self-similarity, the amalgamation property, and the disjoint n-amalgamation property. We explore how each of these properties interacts with the lexicographic product, full product, and free superposition of classes of structures. Additionally, we consider the classes of theories which admit configurations indexed by these products. In particular, we show that, under mild assumptions, the products considered in this article do not yield new classes of theories.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

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

Axiomatization and completeness of lexicographic products of modal logics.Philippe Balbiani - 2011 - Journal of Applied Non-Classical Logics 21 (2):141-176.
On Amalgamation in NTP2 Theories and Generically Simple Generics.Pierre Simon - 2020 - Notre Dame Journal of Formal Logic 61 (2):233-243.
Super/rosy L k -theories and classes of finite structures.Cameron Donnay Hill - 2013 - Annals of Pure and Applied Logic 164 (10):907-927.
Amalgamation properties and finite models in L n -theories.John Baldwin & Olivier Lessmann - 2002 - Archive for Mathematical Logic 41 (2):155-167.
Nsop-Like Independence in Aecats.Mark Kamsma - forthcoming - Journal of Symbolic Logic:1-34.
Examples of non-locality.John T. Baldwin & Saharon Shelah - 2008 - Journal of Symbolic Logic 73 (3):765-782.
Failure of n -uniqueness: a family of examples.Elisabetta Pastori & Pablo Spiga - 2011 - Mathematical Logic Quarterly 57 (2):133-148.

Analytics

Added to PP
2024-03-27

Downloads
6 (#1,451,665)

6 months
6 (#510,434)

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

Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
Characterization of NIP theories by ordered graph-indiscernibles.Lynn Scow - 2012 - Annals of Pure and Applied Logic 163 (11):1624-1641.
Ramsey transfer to semi-retractions.Lynn Scow - 2021 - Annals of Pure and Applied Logic 172 (3):102891.
Infinite lexicographic products.Nadav Meir - 2022 - Annals of Pure and Applied Logic 173 (1):102991.

View all 9 references / Add more references