Some weak fragments of <i>HA</i> and certain closure properties (Q4532602)
From MaRDI portal
scientific article; zbMATH DE number 1749899
Language | Label | Description | Also known as |
---|---|---|---|
English | Some weak fragments of <i>HA</i> and certain closure properties |
scientific article; zbMATH DE number 1749899 |
Statements
Some weak fragments of <i>HA</i> and certain closure properties (English)
0 references
29 October 2002
0 references
open induction
0 references
weak fragments of Heyting arithmetic
0 references
least number principle
0 references
Kripke models
0 references