The following pages link to (Q3794166):
Displaying 15 items.
- Segal-type algebraic models of \(n\)-types (Q488573) (← links)
- Algebraic model structures (Q554242) (← links)
- A uniform method for proving lower bounds on the computational complexity of logical theories (Q917543) (← links)
- Model theory of the regularity and reflection schemes (Q938239) (← links)
- Interpreting modules in modules (Q1377644) (← links)
- An undecidability theorem for lattices over group rings (Q1377645) (← links)
- Decidable representations (Q1903681) (← links)
- (Q3320364) (← links)
- Model Transition for Representations of Metaplectic Type (Q3450221) (← links)
- THE STRUCTURE OF MODELS AND A DECIDABILITY CRITERION FOR COMPLETE THEORIES OF FINITE-DIMENSIONAL ALGEBRAS (Q3480019) (← links)
- Wild representation type and undecidability (Q3971511) (← links)
- (Q4353914) (← links)
- Model algebras, multiplicities, and representability indices of varieties of associative algebras (Q4658279) (← links)
- (Q4668856) (← links)
- Model theory of exponentials on Lie algebras (Q5458065) (← links)