Läuchli's completeness theorem from a topos-theoretic perspective (Q969688): Difference between revisions

@@ Property / author @@
-Matias Menni
@@ Property / author: Matias Menni / rank @@
-Normal rank
@@ Property / author @@
+Matias Menni
@@ Property / author: Matias Menni / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10485-008-9124-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2056936739
@@ Property / OpenAlex ID: W2056936739 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Läuchli semantics
@@ Property / cites work: Linear Läuchli semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Some free constructions in realizability and proof theory
+Normal rank
@@ Property / cites work @@
+Lambek's categorical proof theory and Läuchli's abstract realizability
+Normal rank
@@ Property / cites work @@
+Q4828514
@@ Property / cites work: Q4828514 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642701
@@ Property / cites work: Q5642701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896510
@@ Property / cites work: Q4896510 / rank @@
+Normal rank
@@ Property / cites work @@
+Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 1
+Normal rank
@@ Property / cites work @@
+Cocomplete toposes whose exact completions are toposes
+Normal rank