M-set models

MaRDI QIDQ3086777zbMATHzbMATHFDO

Authors Chad E. Brown

Publication date 30 March 2011

zbMATH Keywords

semanticssimply typed \(\lambda\)-calculus\(M\)-setsfragments of classical higher-order logichigher-order theorem prover TPStype of truth values

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 1499094
• Constructive set theoretic models of typed combinatory logic
• scientific article; zbMATH DE number 517052
• Publication:3478383
• Comparing models of the intensional typed -calculus

Cited in

(5)

• Optimal embedding of Meyer sets into model sets
• scientific article; zbMATH DE number 4185594 (Why is no real title available?)
• scientific article; zbMATH DE number 4121977 (Why is no real title available?)
• Characterization of model Mirimanov-von Neumann cumulative sets
• f-Model Generated by P-Set

This page was built for publication: \(M\)-set models

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