A Consistent Higher-Order Theory Without a (Higher-Order) Model

DOI10.1002/MALQ.19890350502zbMath0706.03010OpenAlexW2086010737MaRDI QIDQ3486538

Thomas Forster

Publication date: 1989

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19890350502

zbMATH Keywords

failure of compactnesspolymorphic typed \(\lambda \) -calculustheory of negative types

Mathematics Subject Classification ID

Second- and higher-order model theory (03C85) Combinatory logic and lambda calculus (03B40)

This page was built for publication: A Consistent Higher-Order Theory Without a (Higher-Order) Model