scientific article; zbMATH DE number 5872251
From MaRDI portal
Publication:3086771
zbMATH Open1226.03018MaRDI QIDQ3086771FDOQ3086771
Authors: Leon Henkin 
Publication date: 30 March 2011
Title of this publication is not available (Why is that?)
Recommendations
- Completeness in hybrid type theory
- Completeness and Cut-elimination in the Intuitionistic Theory of Types
- Inductive types and exact completion
- Completeness in equational hybrid propositional type theory
- Completions, complete representations and omitting types
- scientific article; zbMATH DE number 3938562
- Completeness in Proof-Theoretic Semantics
- The completeness of typing for context-semantics
- scientific article; zbMATH DE number 604880
- Completeness theorems for first-order logic analysed in constructive type theory
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
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)
