Bartosz Wcisło

Available identifiers

zbMath Open wcislo.bartoszMaRDI QIDQ2153825

List of research outcomes

Publication	Date of Publication	Type
Compositional truth with propositional tautologies and quantifier-free correctness	2024-01-18	Paper
The two halves of disjunctive correctness	2023-05-02	Paper
Universal properties of truth	2023-04-01	Paper
Full satisfaction classes, definability, and automorphisms	2022-07-13	Paper
Topological models of arithmetic	2022-02-11	Paper
DISJUNCTIONS WITH STOPPING CONDITIONS	2022-01-11	Paper
Full satisfaction classes, definability, and automorphisms	2021-04-20	Paper
Local collection and end-extensions of models of compositional truth	2021-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q5131486	2020-11-08	Paper
TRUTH AND FEASIBLE REDUCIBILITY	2020-04-17	Paper
MODELS OF POSITIVE TRUTH	2019-06-07	Paper
Disjunctions with stopping condition	2018-10-17	Paper
Models of weak theories of truth	2017-09-15	Paper
NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE	2017-09-15	Paper
MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE	2017-05-31	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bartosz Wcisło