Introduces abstract elementary team categories generalizing abstract elementary classes, proves FOT satisfies a Lindström theorem version, and establishes downwards and upwards categoricity transfers for complete theories in existential second-order logic.
Team logic: axioms, expressiveness, complexity
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2024 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
On the Model Theory of Second-Order Objects
Introduces abstract elementary team categories generalizing abstract elementary classes, proves FOT satisfies a Lindström theorem version, and establishes downwards and upwards categoricity transfers for complete theories in existential second-order logic.