Bartosz Wcisło

activity

20172025

most citedNotes on bounded induction for the compositional truth predicate

35 citations · 55 across the 12 of their papers we have counts for

collaborators

Showing 2018Show all

2 papers · 1 filter

math.LO2018

Disjunctions with stopping condition

Roman Kossak, Bartosz Wcisło

We introduce a tool for analysing models of $CT^{-}$ , the compositional truth theory over Peano Arithmetic. We present a new proof of Lachlan's theorem that arithmetical…

math.LO2018

Topological models of arithmetic

Ali Enayat, Joel David Hamkins, Bartosz Wcisło

Ali Enayat had asked whether there is a nonstandard model of Peano arithmetic (PA) that can be represented as $⟨ Q, \oplus, \otimes ⟩$ , where $\oplus$ and $\otimes…