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

DOI10.1002/MALQ.19890350502MaRDI QIDQ3486538zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 31602
• A consistent prepositional logic without any finite models
• Institution-independent model theory
• Stable theories without dense forking chains
• Model theory without pain
• On properties of theories which preclude the existence of universal models
• A model-theoretic approach to set theory without the axiom of choice
• Homogeneous models of stable theories
• Nearly Model Complete Theories
• Beyond first order model theory

Cited in

(3)

• An example of a theory without weakly (\(\Sigma\) ,\(\Sigma\) )-atomic models
• Stable theories without dense forking chains
• Analysis of constrained theories without use of primary constraints

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

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