scientific article; zbMATH DE number 5872251

zbMATH Open1226.03018MaRDI QIDQ3086771FDOQ3086771

Leon Henkin

Publication date: 30 March 2011

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Collected or selected works; reprintings or translations of classics (01A75)

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• On denotational completeness
• Title not available (Why is that?)
• The Role of Completeness in the Type Problem for Infinitely Sheeted Planes
• Model completions and omitting types
• Completeness in hybrid type theory
• Title not available (Why is that?)
• The role of compactification theory in the type problem

Recommendations

• Completeness and Cut-elimination in the Intuitionistic Theory of Types 👍 👎
• Inductive types and exact completion 👍 👎
• Completeness in equational hybrid propositional type theory 👍 👎
• Completeness in hybrid type theory 👍 👎
• Completeness in Proof-Theoretic Semantics 👍 👎
• Completeness theorems for first-order logic analysed in constructive type theory 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

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