Bartosz Wcisło

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Truth and collection (available as arXiv preprint)	N/A	Paper
Saturation properties for compositional truth with propositional correctness Annals of Pure and Applied Logic	2024-12-12	Paper
Compositional truth with propositional tautologies and quantifier-free correctness Archive for Mathematical Logic	2024-01-18	Paper
The two halves of disjunctive correctness Journal of Mathematical Logic	2023-05-02	Paper
Universal properties of truth	2023-04-01	Paper
Full satisfaction classes, definability, and automorphisms Notre Dame Journal of Formal Logic	2022-07-13	Paper
Topological models of arithmetic Fundamenta Mathematicae	2022-02-11	Paper
DISJUNCTIONS WITH STOPPING CONDITIONS The Bulletin of Symbolic Logic	2022-01-11	Paper
Full satisfaction classes, definability, and automorphisms (available as arXiv preprint)	2021-04-20	Paper
Local collection and end-extensions of models of compositional truth Annals of Pure and Applied Logic	2021-04-14	Paper
scientific article; zbMATH DE number 7271288 (Why is no real title available?)	2020-11-08	Paper
TRUTH AND FEASIBLE REDUCIBILITY Journal of Symbolic Logic	2020-04-17	Paper
Models of positive truth The Review of Symbolic Logic	2019-06-07	Paper
Disjunctions with stopping condition (available as arXiv preprint)	2018-10-17	Paper
Models of weak theories of truth Archive for Mathematical Logic	2017-09-15	Paper
Notes on bounded induction for the compositional truth predicate The Review of Symbolic Logic	2017-09-15	Paper
Models of \(\mathrm{PT}^-\) with internal induction for total formulae The Review of Symbolic Logic	2017-05-31	Paper

Research outcomes over time

This page was built for person: Bartosz Wcisło