Some observations on intuitionistically elementary properties of linear orderings

DOI10.1007/BF01621093MaRDI QIDQ582291zbMATHFDO

Authors Wim Veldman, Michaël Janssen

Publication date 1990

Published in Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

intuitionistic elementary substructureintuitionistic order structuresintuitionistically elementary equivalent

Mathematics Subject Classification ID

Total orders (06A05) Intuitionistic mathematics (03F55)

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)