The following pages link to Mateusz Łełyk (Q2402952):
Displaying 8 items.
- Models of weak theories of truth (Q2402953) (← links)
- Local collection and end-extensions of models of compositional truth (Q2662691) (← links)
- (Q4972736) (← links)
- TRUTH AND FEASIBLE REDUCIBILITY (Q5107235) (← links)
- (Q5111198) (← links)
- NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE (Q5357325) (← links)
- MODELS OF POSITIVE TRUTH (Q5381034) (← links)
- MODELS OF PT<sup>–</sup> WITH INTERNAL INDUCTION FOR TOTAL FORMULAE (Q5737967) (← links)