activity
20172026
most citedNotes on bounded induction for the compositional truth predicate

35 citations · 52 across the 14 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

math.LO2026

Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"

Ali Enayat, Mateusz Łełyk

This note complements our paper "Categoricity-like properties in the first order realm" (Journal for the Philosophy of Mathematics, 2024).