Truth in applicative theories

DOI10.1023/A:1011954206722zbMath0988.03083OpenAlexW1502580088MaRDI QIDQ5951914

Reinhard Kahle

Publication date: 5 July 2002

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1011954206722

zbMATH Keywords

surveyuniversesadmissible set theoryapplicative theoriesFrege structuresMartin-Löf type theorymetapredicative explicit mathematicspartial truthself-reflective truthsupervaluationtransfinitely iterated fixed point theoriestruth theoriestype-free combinatory logic

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15) Combinatory logic and lambda calculus (03B40) Relative consistency and interpretations (03F25)

Related Items (5)

Autonomous progression and transfinite iteration of self-applicable truth ⋮ About Truth and Types ⋮ TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY ⋮ THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES ⋮ Universes over Frege structures

This page was built for publication: Truth in applicative theories