A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483): Difference between revisions

@@ Property / cites work @@
+Some free constructions in realizability and proof theory
+Normal rank
@@ Property / cites work @@
+Q4740070
@@ Property / cites work: Q4740070 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed exact completions
@@ Property / cites work: Locally cartesian closed exact completions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671968
@@ Property / cites work: Q3671968 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
+Normal rank
@@ Property / cites work @@
+Q3671978
@@ Property / cites work: Q3671978 / rank @@
+Normal rank
@@ Property / cites work @@
+Tripos theory
@@ Property / cites work: Tripos theory / rank @@
+Normal rank
@@ Property / cites work @@
+A minimalist two-level foundation for constructive mathematics
+Normal rank
@@ Property / cites work @@
+Q3552042
@@ Property / cites work: Q3552042 / rank @@
+Normal rank
@@ Property / cites work @@
+An extensional Kleene realizability semantics for the Minimalist Foundation
+Normal rank
@@ Property / cites work @@
+Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
+Normal rank
@@ Property / cites work @@
+Q4968383
@@ Property / cites work: Q4968383 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary quotient completion
@@ Property / cites work: Elementary quotient completion / rank @@
+Normal rank
@@ Property / cites work @@
+Quotient completion for the foundation of constructive mathematics
+Normal rank
@@ Property / cites work @@
+Relating Quotient Completions via Categorical Logic
+Normal rank
@@ Property / cites work @@
+Q5718565
@@ Property / cites work: Q5718565 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Colimit completions and the effective topos
@@ Property / cites work: Colimit completions and the effective topos / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of predicative algebraic set theory. II: Realizability
+Normal rank
@@ Property / cites work @@
+Axiomatizing higher-order Kleene realizability
@@ Property / cites work: Axiomatizing higher-order Kleene realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability: a historical essay
@@ Property / cites work: Realizability: a historical essay / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank