Classical predicative logic-enriched type theories

DOI10.1016/J.APAL.2010.04.005zbMath1231.03008arXiv0906.1726OpenAlexW2048875543MaRDI QIDQ636367

Robin Adams, Zhaohui Luo

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0906.1726

zbMATH Keywords

type theorysecond-order arithmeticpredicativismHermann Weyl's programmelogic-enriched

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Related Items (1)

WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER

Cites Work

• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
• Weyl's predicative classical mathematics as a logic-enriched type theory
• Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory
• The independence of Peano's fourth axiom from Martin-Löf's type theory without universes
• The model-theoretic ordinal analysis of theories of predicative strength
• The generalised type-theoretic interpretation of constructive set theory
• A relative consistency proof
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Classical predicative logic-enriched type theories