Zobrazeno 1 - 4
of 4
pro vyhledávání: '"VATEV, STEFAN V."'
Autor:
Bazhenov, Nikolay, Fokina, Ekaterina, Rossegger, Dino, Soskova, Alexandra A., Vatev, Stefan V.
We prove an effective version of the Lopez-Escobar theorem for continuous domains. Let $Mod(\tau)$ be the set of countable structures with universe $\omega$ in vocabulary $\tau$ topologized by the Scott topology. We show that an invariant set $X \sub
Externí odkaz:
http://arxiv.org/abs/2301.09940
Autor:
Dimitrov, Rumen, Harizanov, Valentina, Morozov, Andrey, Shafer, Paul, Soskova, Alexandra A., Vatev, Stefan V.
Cohesive powers of computable structures are effective analogs of ultrapowers, where cohesive sets play the role of ultrafilters. Let $\omega$, $\zeta$, and $\eta$ denote the respective order-types of the natural numbers, the integers, and the ration
Externí odkaz:
http://arxiv.org/abs/2009.00340
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.
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.