Algebraic characterisations are given for PC_Δ classes by intrinsic closure properties, for basic PC classes, and for second-order definable classes, along with a structural classification of second-order equivalent structures.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Algebraic characterisation of pseudo-elementary and second-order classes
Algebraic characterisations are given for PC_Δ classes by intrinsic closure properties, for basic PC classes, and for second-order definable classes, along with a structural classification of second-order equivalent structures.