Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions (Q2417962)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7061094
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions |
scientific article; zbMATH DE number 7061094 |
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
0.7542052865028381
0 references
0.7423681616783142
0 references
0.7371962070465088
0 references
0.7371767163276672
0 references
0.7243618369102478
0 references
