Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions (Q2417962)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions |
scientific article |
Statements
Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions (English)
0 references
31 May 2019
0 references
intuitionistic mathematics
0 references
bar induction
0 references
neighbourhood functions
0 references
dialogue trees
0 references
