A weak theory of building blocks

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F24%3A00588510" target="_blank" >RIV/67985840:_____/24:00588510 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1002/malq.202300015" target="_blank" >https://doi.org/10.1002/malq.202300015</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1002/malq.202300015" target="_blank" >10.1002/malq.202300015</a>

Jazyk výsledku

angličtina

Název v původním jazyce

A weak theory of building blocks

Popis výsledku v původním jazyce

We apply the mereological concept of parthood to the coding of finite sequences. We propose a first-order theory in which coding finite sequences is intuitive and transparent. We compare this theory with Robinson arithmetic, adjunctive set theory and weak theories of finite strings and finite trees using interpretability.

Název v anglickém jazyce

A weak theory of building blocks

Popis výsledku anglicky

We apply the mereological concept of parthood to the coding of finite sequences. We propose a first-order theory in which coding finite sequences is intuitive and transparent. We compare this theory with Robinson arithmetic, adjunctive set theory and weak theories of finite strings and finite trees using interpretability.

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í

2024

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

Mathematical Logic Quarterly

ISSN

0942-5616

e-ISSN

1521-3870

Svazek periodika

70

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

22

Strana od-do

233-254

Kód UT WoS článku

001231739400001

EID výsledku v databázi Scopus

2-s2.0-85194488433