The following pages link to (Q3098780):
Displaying 10 items.
- Algebraically closed and existentially closed abelian lattice-ordered groups (Q292831) (← links)
- \(l\)-groups \(C(X)\) in continuous logic (Q1745350) (← links)
- Existentially closed \(\mathrm{ II}_1\) factors (Q2804295) (← links)
- Model theory of 𝐶*-algebras (Q3380556) (← links)
- On the correspondence between arithmetic theories and propositional proof systems – a survey (Q3619867) (← links)
- (Q4421788) (← links)
- Omitting types in logic of metric structures (Q4562435) (← links)
- The Connes embedding problem: A guided tour (Q5868652) (← links)
- Generic algebraic properties in spaces of enumerated groups (Q6135832) (← links)
- The modal logics of the poison game (Q6601761) (← links)
