Showing 1–5 of 5 results for author: Segel, O

A note on uniform definability of types over finite sets in partial orders of finite width

Authors: Timo Krisam, Ori Segel

Abstract: In "VC density in some theories without the independence property" the authors asked whether any partial order of finite width has the VC1 property (i.e. every formula in one variable has UDTFS in one parameter). We give a negative answer and some related remarks. In "VC density in some theories without the independence property" the authors asked whether any partial order of finite width has the VC1 property (i.e. every formula in one variable has UDTFS in one parameter). We give a negative answer and some related remarks. △ Less

Submitted 26 June, 2024; originally announced June 2024.

Retractors in local positive logic

Authors: Arturo Rodriguez Fanlo, Ori Segel

Abstract: We study type spaces and saturation for local positive logic. We study type spaces and saturation for local positive logic. △ Less

Submitted 13 March, 2025; v1 submitted 25 April, 2024; originally announced April 2024.

MSC Class: 03C95; 03B60

Completeness in local positive logic

Authors: Arturo Rodriguez Fanlo, Ori Segel

Abstract: We develop the basic model theory of local positive logic, a new logic that mixes positive logic (where negation is not allowed) and local logic (where models omit types of infinite distant pairs). We study several basic model theoretic notions such as compactness, positive closedness (existential closedness) and completeness (irreducibility). We develop the basic model theory of local positive logic, a new logic that mixes positive logic (where negation is not allowed) and local logic (where models omit types of infinite distant pairs). We study several basic model theoretic notions such as compactness, positive closedness (existential closedness) and completeness (irreducibility). △ Less

Submitted 14 March, 2025; v1 submitted 6 January, 2024; originally announced January 2024.

MSC Class: 03C95; 03B60

Positive Definability Patterns

Authors: Ori Segel

Abstract: We reformulate Hrushovski's definability patterns from the setting of first order logic to the setting of positive logic. Given an h-universal theory T we put two structures on the type spaces of models of T in two languages, \mathcal{L} and \mathcal{L}_π. It turns out that for sufficiently saturated models, the corresponding h-universal theories \mathcal{T} and \mathcal{T}_π are independent of th… ▽ More We reformulate Hrushovski's definability patterns from the setting of first order logic to the setting of positive logic. Given an h-universal theory T we put two structures on the type spaces of models of T in two languages, \mathcal{L} and \mathcal{L}_π. It turns out that for sufficiently saturated models, the corresponding h-universal theories \mathcal{T} and \mathcal{T}_π are independent of the model. We show that there is a canonical model \mathcal{J} of \mathcal{T}, and in many interesting cases there is an analogous canonical model \mathcal{J}_π of \mathcal{T}_π, both of which embed into every type space. We discuss the properties of these canonical models, called cores, and give some concrete examples. △ Less

Submitted 27 July, 2022; v1 submitted 25 July, 2022; originally announced July 2022.

Comments: 66 pages

MSC Class: 03C95 (Primary) 03B60; 03C66; 03C40 (Secondary)

Boolean Types in Dependent Theories

Authors: Itay Kaplan, Ori Segel, Saharon Shelah

Abstract: The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regarding the effect of the properties of B on the behavior of such types, and show they are particularity well behaved in the case of NIP theories. In particular, we generalize the third author's result about counting types,… ▽ More The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regarding the effect of the properties of B on the behavior of such types, and show they are particularity well behaved in the case of NIP theories. In particular, we generalize the third author's result about counting types, as well as the notion of a smooth type and extending a type to a smooth one. We then show that Keisler measures are tied to certain Boolean types and show that some of the results can thus be transferred to measures - in particular, giving an alternative proof of the fact that every measure in a dependent theory can be extended to a smooth one. We also study the stable case. We consider this paper as an invitation for more research into the topic of Boolean types. △ Less

Submitted 16 January, 2022; v1 submitted 7 August, 2020; originally announced August 2020.

Comments: 32 pages, no figures

MSC Class: 03C95 (Primary) 03C45; 03G05; 28A60 (Secondary)