Epimorphisms, Definability and Cardinalities

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F20%3A00503853" target="_blank" >RIV/67985807:_____/20:00503853 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/s11225-019-09846-5" target="_blank" >http://dx.doi.org/10.1007/s11225-019-09846-5</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s11225-019-09846-5" target="_blank" >10.1007/s11225-019-09846-5</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Epimorphisms, Definability and Cardinalities

Popis výsledku v původním jazyce

We characterize, in syntactic terms, the ranges of epimorphisms in an arbitrary class of similar first-order structures (as opposed to an elementary class). This allows us to strengthen a result of Bacsich, as follows: in any prevariety having at most s nonlogical symbols and an axiomatization requiring at most m variables, if the epimorphisms into structures with at most m + s + ℵ0 elements are surjective, then so are all of the epimorphisms. Using these facts, we formulate and prove manageable 'bridge theorems', matching the surjectivity of all epimorphisms in the algebraic counterpart of a logic ⊢ with suitable infinitary definability properties of ⊢ , while not making the standard but awkward assumption that ⊢ comes furnished with a proper class of variables.

Název v anglickém jazyce

Epimorphisms, Definability and Cardinalities

Popis výsledku anglicky

We characterize, in syntactic terms, the ranges of epimorphisms in an arbitrary class of similar first-order structures (as opposed to an elementary class). This allows us to strengthen a result of Bacsich, as follows: in any prevariety having at most s nonlogical symbols and an axiomatization requiring at most m variables, if the epimorphisms into structures with at most m + s + ℵ0 elements are surjective, then so are all of the epimorphisms. Using these facts, we formulate and prove manageable 'bridge theorems', matching the surjectivity of all epimorphisms in the algebraic counterpart of a logic ⊢ with suitable infinitary definability properties of ⊢ , while not making the standard but awkward assumption that ⊢ comes furnished with a proper class of variables.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

<a href="/cs/project/GA17-04630S" target="_blank" >GA17-04630S: Predikátové škálované logiky a jejich aplikace v informatice</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2020

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ů

Název periodika

Studia Logica

ISSN

0039-3215

e-ISSN

—

Svazek periodika

108

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

21

Strana od-do

255-275

Kód UT WoS článku

000521153000005

EID výsledku v databázi Scopus

2-s2.0-85061274850