A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice (Q6319522)
From MaRDI portal
scientific article; zbMATH DE number 7379292
Language | Label | Description | Also known as |
---|---|---|---|
English | A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice |
scientific article; zbMATH DE number 7379292 |
Statements
28 May 2019
0 references
math.LO
0 references