Indiscernibles in monadically NIP theories
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F25%3A00639509" target="_blank" >RIV/67985807:_____/25:00639509 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/00216208:11320/25:10511789
Výsledek na webu
<a href="https://doi.org/10.1112/blms.70155" target="_blank" >https://doi.org/10.1112/blms.70155</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1112/blms.70155" target="_blank" >10.1112/blms.70155</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Indiscernibles in monadically NIP theories
Popis výsledku v původním jazyce
We prove various results around indiscernibles in monadically NIP theories. First, we provide several characterizations of monadic NIP in terms of indiscernibles, mirroring previous characterizations in terms of the behavior of finite satisfiability. Second, we study (monadic) distality in hereditary classes and complete theories. Here, via finite combinatorics, we prove a result implying that every planar graph admits a distal expansion. Finally, we prove a result implying that no monadically NIP theory interprets an infinite group, and note an example of a (monadically) stable theory with no distal expansion that does not interpret an infinite group
Název v anglickém jazyce
Indiscernibles in monadically NIP theories
Popis výsledku anglicky
We prove various results around indiscernibles in monadically NIP theories. First, we provide several characterizations of monadic NIP in terms of indiscernibles, mirroring previous characterizations in terms of the behavior of finite satisfiability. Second, we study (monadic) distality in hereditary classes and complete theories. Here, via finite combinatorics, we prove a result implying that every planar graph admits a distal expansion. Finally, we prove a result implying that no monadically NIP theory interprets an infinite group, and note an example of a (monadically) stable theory with no distal expansion that does not interpret an infinite group
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/GM24-12591M" target="_blank" >GM24-12591M: Teorie modelů, strukturální kombinatorika a algoritmy</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2025
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Bulletin of the London Mathematical Society
ISSN
0024-6093
e-ISSN
1469-2120
Svazek periodika
57
Číslo periodika v rámci svazku
11
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
20
Strana od-do
3326-3345
Kód UT WoS článku
001535965500001
EID výsledku v databázi Scopus
2-s2.0-105011965523