About Truth and Types

DOI10.1007/978-3-319-29198-7_2zbMATH Open1439.03107OpenAlexW2477665465MaRDI QIDQ3305551

Could not fetch data.

Publication date: 7 August 2020

Published in: Advances in Proof Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29198-7_2

zbMATH Keywords

Frege structuresexplicit mathematicspropositional functionexplicit typepredicate application

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)

Related Items (3)

Levels of truth ⋮ Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\) ⋮ Reflecting and unfolding

This page was built for publication: About Truth and Types

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