Two remarks on the Lifschitz realizability topos (Q4879901): Difference between revisions

@@ Property / cites work @@
+Tripos theory
@@ Property / cites work: Tripos theory / rank @@
+Normal rank
@@ Property / cites work @@
+A small complete category
@@ Property / cites work: A small complete category / rank @@
+Normal rank
@@ Property / cites work @@
+Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
+Normal rank
@@ Property / cites work @@
+ABOUT MODEST SETS
@@ Property / cites work: ABOUT MODEST SETS / rank @@
+Normal rank
@@ Property / cites work @@
+Relative computability in the effective topos
@@ Property / cites work: Relative computability in the effective topos / rank @@
+Normal rank
@@ Property / cites work @@
+Harvey Friedman's research on the foundations of mathematics
+Normal rank