Decidability and Definability Results Concerning Well‐Orderings and Some Extensions of First Order Logic (Q3889035)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidability and Definability Results Concerning Well‐Orderings and Some Extensions of First Order Logic |
scientific article |
Statements
Decidability and Definability Results Concerning Well‐Orderings and Some Extensions of First Order Logic (English)
0 references
1980
0 references
extensions of first order logic
0 references
generalized quantifier
0 references
weak second order logic
0 references
well-ordering
0 references
definability
0 references
Chang quantifier
0 references
Härtig quantifier
0 references
theories of classes of ordinal numbers
0 references
