Functional reducts of the countable atomless Boolean algebra

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F23%3A10472246" target="_blank" >RIV/00216208:11320/23:10472246 - isvavai.cz</a>

Výsledek na webu

<a href="https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=ZOIGN76TBk" target="_blank" >https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=ZOIGN76TBk</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1142/S0218196723500078" target="_blank" >10.1142/S0218196723500078</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Functional reducts of the countable atomless Boolean algebra

Popis výsledku v původním jazyce

For an algebra 2l = (A, f(1), ... f(n)) the algebra B = (A, t(1), ..., t(k)) is called a functional reduct if each tj is a term function of 2l. We classify the functional reducts of the countable atomless Boolean algebra up to first-order interdefinability. That is, we consider two functional reducts the &quot;same&quot; if their group of automorphisms is the same. We show that there are 13 such reducts and describe their structures and group of automorphisms.

Název v anglickém jazyce

Functional reducts of the countable atomless Boolean algebra

Popis výsledku anglicky

For an algebra 2l = (A, f(1), ... f(n)) the algebra B = (A, t(1), ..., t(k)) is called a functional reduct if each tj is a term function of 2l. We classify the functional reducts of the countable atomless Boolean algebra up to first-order interdefinability. That is, we consider two functional reducts the &quot;same&quot; if their group of automorphisms is the same. We show that there are 13 such reducts and describe their structures and group of automorphisms.

Druh

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

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2023

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

International Journal of Algebra and Computation

ISSN

0218-1967

e-ISSN

1793-6500

Svazek periodika

33

Číslo periodika v rámci svazku

01

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

17

Strana od-do

87-103

Kód UT WoS článku

000886227300002

EID výsledku v databázi Scopus

2-s2.0-85143598670