A negationless interpretation of intuitionistic theories. II (Q1582305): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Property / reviewed by | |||
| Property / reviewed by: Victor V. Pambuccian / rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Victor V. Pambuccian / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1023/a:1005207512630 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1558782985 / rank | |||
Normal rank | |||
Latest revision as of 11:03, 30 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A negationless interpretation of intuitionistic theories. II |
scientific article |
Statements
A negationless interpretation of intuitionistic theories. II (English)
0 references
6 February 2001
0 references
The author introduces negationless higher-order arithmetic, NAH, proves the translatability of HAH (intuitionistic higher-order arithmetic with product types, power types, and a type of natural numbers satisfying Heyting Arithmetic with full induction [cf. \textit{A. S. Troelstra} and \textit{D. van Dalen}, Constructivism in mathematics. An introduction. Vol. I, North-Holland, Amsterdam (1988; Zbl 0653.03040), pp. 168ff.] into NAH, and shows that NPC from Part I [Stud. Log. 64, No. 3, 323-344 (2000; Zbl 0964.03065)] is equivalent to a slight modification of the \(\Sigma\)-free fragment of Nelson's \(P_1\).
0 references
intuitionistic higher-order arithmetic
0 references
negationless higher-order arithmetic
0 references
