Czech Academy of Sciences, Institute of Philosophy

output

20112025

most citedLocal detailed balance

103 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

D. Kozhemiachenko4 · h 5
Sabine Frittella4 · h 5
M. Bílková3 · h 11
Ondrej Majer3 · h 10
C. Maes2 · h 42
V. Punčochář2 · h 7
Bartosz Wcisło1 · h 6
Berta Grimau1 · h 3
Christian Röken1
Christina Chang He1 · h 1
Dennis Lehmkuhl1 · h 12
Igor Sedl'ar1 · h 2

collaborating institutions

Czech Academy of SciencesCZ6 papers
Institut National des Sciences Appliquées Centre Val de LoireFR4 papers
Services déconcentrés d'appui à la recherche Val de LoireFR4 papers
Université d'OrléansFR4 papers
Czech Academy of Sciences, Institute of Computer ScienceCZ3 papers
KU LeuvenBE2 papers
University of WarsawPL2 papers
Canadian Institute for Advanced ResearchCA1 paper
Czech Academy of Sciences, Institute of SociologyCZ1 paper
Harvard UniversityUS1 paper
Institute of Philosophy of the Slovak Academy of SciencesSK1 paper
Institut NéelFR1 paper

Showing 2017Show all

1 paper · 1 filter

math.LO2017★ 35 cited

Notes on bounded induction for the compositional truth predicate

Mateusz Łełyk, Bartosz Wcisło

We prove that the theory of the extensional compositional truth predicate for the language of arithmetic with $Δ_{0}$ -induction scheme for the truth predicate and the full arithmetic…