A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions (Q5665167)
From MaRDI portal
scientific article; zbMATH DE number 3397493
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions |
scientific article; zbMATH DE number 3397493 |
Statements
A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions (English)
0 references
1972
0 references
