Some observations on intuitionistically elementary properties of linear orderings

DOI10.1007/BF01621093zbMATH Open0691.03043MaRDI QIDQ582291FDOQ582291

Authors: Wim Veldman, Michaël Janssen 

Publication date: 1990

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

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

zbMATH Keywords

intuitionistic elementary substructureintuitionistic order structuresintuitionistically elementary equivalent

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)

Cited In (7)

• On Ehrenfeucht-Fraïssé equivalence of linear orderings
• Galvin's question on non-\( \sigma \)-well ordered linear orders
• Equality and equivalence, intuitionistically
• A note on the expressive power of linear orders
• The continuum and first-order intuitionistic logic
• On congruent axioms in linearly ordered spaces. I
• Some elementary results in intuitionistic model theory

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)