Functional reducts of the countable atomless Boolean algebra

Kód výsledku v IS VaVaI

RIV/00216208:11320/23:10472246 - isvavai.cz

Výsledek na webu

https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=ZOIGN76TBk

DOI - Digital Object Identifier

10.1142/S0218196723500078

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 "same" 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 "same" 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