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

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

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

Original language description

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.

Czech name

—

Czech description

—

Type

M - Conference organization

CEP classification

—

OECD FORD branch

10101 - Pure mathematics

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2025

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Event location

Prague

Event country

CZ - CZECH REPUBLIC

Event starting date

—

Event ending date

—

Total number of attendees

30

Foreign attendee count

17

Type of event by attendee nationality

WRD - Celosvětová akce