Sheaf toposes for realizability (Q938241): Difference between revisions

This paper compares realizability models over partial combinatory algebras by embedding them into sheaf toposes. Then the authors use the machinery of Grothendieck toposes and geometric morphisms to study the relationship between realizability models over different partial combinatory algebras.

0 references

reviewed by

Răzvan Diaconescu

0 references

zbMATH Keywords

realizability models

0 references

partial combinatory algebras

0 references

sheaf toposes

0 references

Grothendieck toposes

0 references

geometric morphisms

0 references

0 references

0 references

0 references

Developing theories of types and computability via realizability

0 references

Q4354789

0 references

Local Maps of Toposes

0 references

Q3281965

0 references

Q5343325

0 references

Sheaves in geometry and logic: a first introduction to topos theory

0 references

Generalized Banach-Mazur functionals in the topos of recursive sets

0 references

Q5573961

0 references

Q4499141

0 references

Data Types as Lattices

0 references

Q4485693

0 references

Identifiers

zbMATH Open document ID

1161.03036

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

10.1007/S00153-008-0090-6

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:938241

@@ Property / DOI @@
-.1007/s00153-008-0090-6
@@ Property / DOI: 10.1007/s00153-008-0090-6 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W2069898398
@@ Property / OpenAlex ID: W2069898398 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499150
@@ Property / cites work: Q4499150 / rank @@
+Normal rank
@@ Property / cites work @@
+Equilogical spaces
@@ Property / cites work: Equilogical spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Developing theories of types and computability via realizability
+Normal rank
@@ Property / cites work @@
+Q4354789
@@ Property / cites work: Q4354789 / rank @@
+Normal rank
@@ Property / cites work @@
+Local Maps of Toposes
@@ Property / cites work: Local Maps of Toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3281965
@@ Property / cites work: Q3281965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Generalized Banach-Mazur functionals in the topos of recursive sets
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499141
@@ Property / cites work: Q4499141 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00153-008-0090-6
@@ Property / DOI: 10.1007/S00153-008-0090-6 / rank @@
+Normal rank