Pages that link to "Item:Q4194947"
From MaRDI portal
The following pages link to The relative expressive power of some logics extending first-order logic (Q4194947):
Displaying 5 items.
- The axiomatics of ordered geometry: I. Ordered incidence spaces (Q533109) (← links)
- Solubility of theories in a certain calculus (Q585191) (← links)
- Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry (Q640271) (← links)
- Some theorems in generalized calculuses (Q795827) (← links)
- The ordered field of real numbers and logics with Malitz quantifiers (Q3705421) (← links)