Pages that link to "Item:Q582291"
From MaRDI portal
The following pages link to Some observations on intuitionistically elementary properties of linear orderings (Q582291):
Displaying 6 items.
- Galvin's question on non-\( \sigma \)-well ordered linear orders (Q2078869) (← links)
- On congruent axioms in linearly ordered spaces. I (Q2523512) (← links)
- Equality and equivalence, intuitionistically (Q2658274) (← links)
- A note on the expressive power of linear orders (Q3224697) (← links)
- On Ehrenfeucht-Fraïssé equivalence of linear orderings (Q3483267) (← links)
- Some elementary results in intuitionistic model theory (Q5687313) (← links)