Converse extensionality and apartness

DOI10.46298/lmcs-18(4:13)2022OpenAlexW3146229655MaRDI QIDQ5060186

Robert Paßmann, Benno van den Berg

Publication date: 9 January 2023

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

extensionalityproof theorycategorical logicfunctional interpretationapartness

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Realizability. An introduction to its categorical side
• Constructivism in mathematics. An introduction. Volume II
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Impredicativity entails untypedness
• Higher-Order Computability
• Quantitative results on Fejér monotone sequences
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics