Aspects of predicative algebraic set theory. II: Realizability (Q534701): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+E70
@@ Property / Mathematics Subject Classification ID: 03E70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F50
@@ Property / Mathematics Subject Classification ID: 03F50 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G30
@@ Property / Mathematics Subject Classification ID: 03G30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A35
@@ Property / Mathematics Subject Classification ID: 18A35 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5886381
@@ Property / zbMATH DE Number: 5886381 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constructive set theory
@@ Property / zbMATH Keywords: constructive set theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+realizability
@@ Property / zbMATH Keywords: realizability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+categorical logic
@@ Property / zbMATH Keywords: categorical logic / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2122521516
@@ Property / OpenAlex ID: W2122521516 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2305
@@ Property / arXiv ID: 0801.2305 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+Normal rank
@@ Property / cites work @@
+Local realizability toposes and a modal logic for computability
+Normal rank
@@ Property / cites work @@
+Aspects of predicative algebraic set theory. I: Exact completion
+Normal rank
@@ Property / cites work @@
+Aspects of predicative algebraic set theory III: sheaves
+Normal rank
@@ Property / cites work @@
+A Unified Approach to Algebraic Set Theory
@@ Property / cites work: A Unified Approach to Algebraic Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Developing theories of types and computability via realizability
+Normal rank
@@ Property / cites work @@
+Relative and modified relative realizability
@@ Property / cites work: Relative and modified relative realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Some free constructions in realizability and proof theory
+Normal rank
@@ Property / cites work @@
+Q3795831
@@ Property / cites work: Q3795831 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaf models for set theory
@@ Property / cites work: Sheaf models for set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214890
@@ Property / cites work: Q3214890 / rank @@
+Normal rank
@@ Property / cites work @@
+Set theoretic foundations for constructive analysis
+Normal rank
@@ Property / cites work @@
+All realizability is relative
@@ Property / cites work: All realizability is relative / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered partial combinatory algebras
@@ Property / cites work: Ordered partial combinatory algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A small complete category
@@ Property / cites work: A small complete category / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671978
@@ Property / cites work: Q3671978 / rank @@
+Normal rank
@@ Property / cites work @@
+The Discrete Objects in the Effective Topos
@@ Property / cites work: The Discrete Objects in the Effective Topos / rank @@
+Normal rank
@@ Property / cites work @@
+Q4853985
@@ Property / cites work: Q4853985 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic set theory and the effective topos
@@ Property / cites work: Algebraic set theory and the effective topos / rank @@
+Normal rank
@@ Property / cites work @@
+CZF and second order arithmetic
@@ Property / cites work: CZF and second order arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3222842
@@ Property / cites work: Q3222842 / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories, toposes and constructive set theory: Predicative aspects of AST
+Normal rank
@@ Property / cites work @@
+Axiomatizing higher-order Kleene realizability
@@ Property / cites work: Axiomatizing higher-order Kleene realizability / rank @@
+Normal rank
@@ Property / cites work @@
+The modified realizability topos
@@ Property / cites work: The modified realizability topos / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank
@@ Property / cites work @@
+Q5477363
@@ Property / cites work: Q5477363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5183475
@@ Property / cites work: Q5183475 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215635
@@ Property / cites work: Q4215635 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:534701