Journées sur les Arithmétiques Faibles Weak Arithmetics Days 44

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F25%3A00646084" target="_blank" >RIV/67985840:_____/25:00646084 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Journées sur les Arithmétiques Faibles Weak Arithmetics Days 44

Popis výsledku v původním jazyce

Weak arithmetics play a fundamental role in several areas of philosophy, mathematics, and computer science, by studying the nature and properties of natural numbers from a logical point of view. The aim of the conference is to provide a forum for researchers to present their results to members of communities who study or apply weak arithmetics in various fields and formalisms. Previous JAFs.nProofs in arithmetic with restricted system of axioms, non-standard models of such systems, decidability, undecidability, and complexity of arithmetical theories, definability in arithmetic structures, machines, automata and words, related to arithmetic, finite model theory, word structures.

Název v anglickém jazyce

Journées sur les Arithmétiques Faibles Weak Arithmetics Days 44

Popis výsledku anglicky

Weak arithmetics play a fundamental role in several areas of philosophy, mathematics, and computer science, by studying the nature and properties of natural numbers from a logical point of view. The aim of the conference is to provide a forum for researchers to present their results to members of communities who study or apply weak arithmetics in various fields and formalisms. Previous JAFs.nProofs in arithmetic with restricted system of axioms, non-standard models of such systems, decidability, undecidability, and complexity of arithmetical theories, definability in arithmetic structures, machines, automata and words, related to arithmetic, finite model theory, word structures.

Druh

M - Uspořádání konference

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2025

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ů

Místo konání akce

Prague

Stát konání akce

CZ - Česká republika

Datum zahájení akce

—

Datum ukončení akce

—

Celkový počet účastníků

30

Počet zahraničních účastníků

17

Typ akce podle státní přísl. účastníků

WRD - Celosvětová akce