Pages that link to "Item:Q647342"
From MaRDI portal
The following pages link to Axiomatizability by \({\forall \exists!}\)-sentences (Q647342):
Displaying 4 items.
- Semantical conditions for the definability of functions and relations (Q312209) (← links)
- Independent axiomatizability of sets of sentences (Q1262853) (← links)
- Decidability of ∀*∀‐Sentences in Membership Theories (Q4868240) (← links)
- An ‘<i>i</i>’ for an <i>i</i>, a Truth for a Truth† (Q5149971) (← links)