Pages that link to "Item:Q1894550"
From MaRDI portal
The following pages link to A finitely based theory of a non-trivial language, with exactly \(\aleph_ 0\) subcovers (Q1894550):
Displaying 3 items.
- Covering relation in the language of mono-unary algebras with at most one constant symbol (Q1121932) (← links)
- A Completeness Theorem for Trigonometric Identities and Various Results on Exponential Functions (Q3755429) (← links)
- Some decidable theories with finitely many covers which are decidable and algorithmically found (Q4318107) (← links)