Showing 1–3 of 3 results for author: Krawczyk, A

Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness

Authors: Krzysztof A. Krawczyk

Abstract: This paper is a mathematical investigation on Epstein semantics. One of the main tools of the present paper is the model-theoretic S-set construction introduced in (Krawczyk 2022). We use it to prove several results: 1) that each Epstein model has uncountably many equivalent Epstein models, 2) that the logic of generalised Epstein models is the S-set invariant fragment of CPL (analogon of the cele… ▽ More This paper is a mathematical investigation on Epstein semantics. One of the main tools of the present paper is the model-theoretic S-set construction introduced in (Krawczyk 2022). We use it to prove several results: 1) that each Epstein model has uncountably many equivalent Epstein models, 2) that the logic of generalised Epstein models is the S-set invariant fragment of CPL (analogon of the celebrated van Benthem characterization theorem for modal logic), 3) that several sets of Epstein relations are undefinable, 4) that logics of undefinable sets of relations can be finitely axiomatised. We also use other techniques to prove: 5) that there is uncountably many Epstein-incomplete logics and that 6) the logic of generalised Epstein models has the interpolation property. △ Less

Submitted 7 March, 2024; v1 submitted 20 February, 2024; originally announced February 2024.

Comments: Section 6 contains axiomatisation method which has been sumbitted to the conference "1st Workshop On Relating Logic" held in Toruń on September 25-26 2020. The organizers did not allow me to present my results

MSC Class: 03B60

Examples of weak amalgamation classes

Authors: Adam Krawczyk, Alex Kruckman, Wiesław Kubiś, Aristotelis Panagiotopoulos

Abstract: We present several examples of hereditary classes of finite structures satisfying the joint embedding property and the weak amalgamation property, but failing the cofinal amalgamation property. These include a continuum-sized family of classes of finite undirected graphs, as well as an example due to Pouzet with countably categorical generic limit. We present several examples of hereditary classes of finite structures satisfying the joint embedding property and the weak amalgamation property, but failing the cofinal amalgamation property. These include a continuum-sized family of classes of finite undirected graphs, as well as an example due to Pouzet with countably categorical generic limit. △ Less

Submitted 13 July, 2021; v1 submitted 22 July, 2019; originally announced July 2019.

Comments: Some additions and tiny corrections; 15 pages

MSC Class: 03C07; 03C50

Games with finitely generated structures

Authors: Adam Krawczyk, Wiesław Kubiś

Abstract: We study the abstract Banach-Mazur game played with finitely generated structures instead of open sets. We characterize the existence of winning strategies aiming at a single countably generated structure. We also introduce the concept of weak Fraisse classes, extending the classical Fraisse theory and revealing its relations to our Banach-Mazur game. We study the abstract Banach-Mazur game played with finitely generated structures instead of open sets. We characterize the existence of winning strategies aiming at a single countably generated structure. We also introduce the concept of weak Fraisse classes, extending the classical Fraisse theory and revealing its relations to our Banach-Mazur game. △ Less

Submitted 18 June, 2019; v1 submitted 20 January, 2017; originally announced January 2017.

Comments: Last section extended (16 pages)

MSC Class: 03C07; 03C50

Journal ref: Annals of Pure and Applied Logic 172 (2021) 103016