Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
173 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
46 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Positive Definability Patterns (2207.12449v2)

Published 25 Jul 2022 in math.LO

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}{\pi}. It turns out that for sufficiently saturated models, the corresponding h-universal theories \mathcal{T} and \mathcal{T}{\pi} 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}{\pi} of \mathcal{T}{\pi}, both of which embed into every type space. We discuss the properties of these canonical models, called cores, and give some concrete examples.

Summary

We haven't generated a summary for this paper yet.