M-set models

zbMATH Open1226.03014MaRDI QIDQ3086777FDOQ3086777

Chad E. Brown

Publication date: 30 March 2011

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 \(\lambda\)-calculus

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)

Cited In (5)

• Title not available (Why is that?)
• Characterization of model Mirimanov-von Neumann cumulative sets
• Optimal embedding of Meyer sets into model sets
• f-Model Generated by P-Set
• Title not available (Why is that?)

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)