Some observations on intuitionistically elementary properties of linear orderings
From MaRDI portal
Publication:582291
Recommendations
- Some elementary results in intuitionistic model theory
- Bisimulation reducts and submodels of intuitionistic first-order Kripke models
- The continuum and first-order intuitionistic logic
- On the quantificational logic of intuitionistic set theory
- Properties of ordinals in the set theory with intuitionistic logic
Cited in
(7)- On congruent axioms in linearly ordered spaces. I
- Some elementary results in intuitionistic model theory
- Galvin's question on non-\( \sigma \)-well ordered linear orders
- Equality and equivalence, intuitionistically
- The continuum and first-order intuitionistic logic
- A note on the expressive power of linear orders
- On Ehrenfeucht-Fraïssé equivalence of linear orderings
This page was built for publication: Some observations on intuitionistically elementary properties of linear orderings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q582291)