No label defined (Q5227521)
From MaRDI portal
scientific article; zbMATH DE number 7089071
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 7089071 |
Statements
6 August 2019
0 references
proof theory
0 references
inductive definitions
0 references
Brotherston-Simpson conjecture
0 references
cyclic proof
0 references
Martin-Löf's system of inductive definitions
0 references
Henkin models
0 references
0 references