A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice (Q6319522): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Changed label, description and/or aliases in en, and other parts |
||
| description / en | description / en | ||
scientific article | scientific article | ||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 7379292 / rank | |||
| Property / preprint of | |||
| Property / preprint of: Q5009707 / rank | |||
Normal rank | |||
Latest revision as of 14:33, 28 May 2025
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice |
scientific article |
Statements
28 May 2019
0 references
math.LO
0 references
