Zobrazeno 1 - 10
of 3 212
pro vyhledávání: '"Positive logic"'
Autor:
Fanlo, Arturo Rodriguez, Segel, Ori
We study type spaces and retractors (saturated models) for local positive logic.
Comment: arxiv:2401.03260v1 has been divided in two papers. This is the second part
Comment: arxiv:2401.03260v1 has been divided in two papers. This is the second part
Externí odkaz:
http://arxiv.org/abs/2404.16971
Autor:
Fanlo, Arturo Rodriguez, Segel, Ori
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
Externí odkaz:
http://arxiv.org/abs/2401.03260
Autor:
Dobrowolski, Jan, Kamsma, Mark
Publikováno v:
Model Th. 3 (2024) 883-895
The proof of the Independence Theorem for Kim-independence in positive thick NSOP$_1$ theories from (Dobrowolski and Kamsma, 2022) contains a gap. The theorem is still true, and in this corrigendum we give a different proof.
Comment: 12 pages; c
Comment: 12 pages; c
Externí odkaz:
http://arxiv.org/abs/2401.09487
We introduce prime products as a generalization of ultraproducts for positive logic. Prime products are shown to satisfy a version of {\L}o\'s's Theorem restricted to positive formulas, as well as the following variant of Keisler Isomorphism Theorem:
Externí odkaz:
http://arxiv.org/abs/2303.02614
Autor:
Belkasmi, Mohammed1 (AUTHOR)
Publikováno v:
International Journal of Mathematics & Mathematical Sciences. 4/16/2024, Vol. 2024, p1-8. 8p.
Autor:
de Groot, Jim
We characterise non-distributive positive logic as the fragment of a single-sorted first-order language that is preserved by a new notion of simulation called a meet-simulation. Meet-simulations distinguish themselves from simulations because they re
Externí odkaz:
http://arxiv.org/abs/2208.11354
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Dobrowolski, Jan, Kamsma, Mark
Publikováno v:
Model Th. 1 (2022) 55-113
An important dividing line in the class of unstable theories is being NSOP$_1$, which is more general than being simple. In NSOP$_1$ theories forking independence may not be as well-behaved as in stable or simple theories, so it is replaced by anothe
Externí odkaz:
http://arxiv.org/abs/2105.07788
Autor:
Bílková, Marta, Colacito, Almudena
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2020 Aug 01. 108(4), 649-686.
Externí odkaz:
https://www.jstor.org/stable/45379242
Autor:
Kamsma, Mark
Publikováno v:
Archive for Mathematical Logic, 62:1-28, 2022
We construct a 2-equivalence $\mathfrak{CohTheory}^\text{op} \simeq \mathfrak{TypeSpaceFunc}$. Here $\mathfrak{CohTheory}$ is the 2-category of positive theories and $\mathfrak{TypeSpaceFunc}$ is the 2-category of type space functors. We give a preci
Externí odkaz:
http://arxiv.org/abs/2005.03376