Pages that link to "Item:Q1350533"
From MaRDI portal
The following pages link to First-order spectra with one binary predicate (Q1350533):
Displaying 6 items.
- One unary function says less than two in existential second order logic (Q286970) (← links)
- Some remarks on real numbers induced by first-order spectra (Q306827) (← links)
- First-order spectra with one variable (Q909462) (← links)
- Linear time and the power of one first-order universal quantifier (Q1854556) (← links)
- (Q4643954) (← links)
- On spectra of sentences of monadic second order logic with counting (Q5311744) (← links)