Feferman's completeness theorem

DOI10.1017/BSL.2025.2MaRDI QIDQ6898194zbMATH OpenFDO

Authors Fedor N. Pakhomov, Michael Rathjen, Dino Rossegger

Publication date 18 November 2025

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

completeness theoremreflection principlesFeferman

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)

This page was built for publication: Feferman's completeness theorem

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