Pages that link to "Item:Q5407042"

The following pages link to Homology Groups of Types in Model Theory and the Computation of <i>H</i>₂(<i>p</i>) (Q5407042):

Displaying 9 items.

• The Lascar group and the strong types of hyperimaginaries (Q372626) (← links)
• On the \(n\)-uniqueness of types in rosy theories (Q506958) (← links)
• Homology groups of types in stable theories and the Hurewicz correspondence (Q2358628) (← links)
• The Lascar groups and the first homology groups in model theory (Q2407273) (← links)
• Pro-definability of spaces of definable types (Q4994917) (← links)
• HOMOTOPY MODEL THEORY (Q5021916) (← links)
• CLASSIFYING SPACES AND THE LASCAR GROUP (Q5021921) (← links)
• Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories (Q5218712) (← links)
• Calculating the Fundamental Group of the Circle in Homotopy Type Theory (Q5271059) (← links)