scientific article; zbMATH DE number 5872251
From MaRDI portal
Publication:3086771
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)- scientific article; zbMATH DE number 4174908 (Why is no real title available?)
- scientific article; zbMATH DE number 4126291 (Why is no real title available?)
- Model completions and omitting types
- scientific article; zbMATH DE number 226803 (Why is no real title available?)
- scientific article; zbMATH DE number 3853065 (Why is no real title available?)
- The role of compactification theory in the type problem
- Completeness in hybrid type theory
- On denotational completeness
- The Role of Completeness in the Type Problem for Infinitely Sheeted Planes
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)
