Categoricity for inferential ω-logic and L_{ω_1,ω}

MaRDI QIDQ7215896arXivFDO

Authors John T. Baldwin, Constantin C. Brîncuș

Publication date 2026

Published in arXiv

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Other infinitary logic (03C75)

arXiv classification

math.LO

This page was built for publication: Categoricity for inferential $ω$-logic and $L_{ω_1,ω}$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7215896)