Some observations on intuitionistically elementary properties of linear orderings

DOI10.1007/BF01621093zbMath0691.03043MaRDI QIDQ582291

Michaël Janssen, Wim Veldman

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)

Related Items (2)

Equality and equivalence, intuitionistically ⋮ Some elementary results in intuitionistic model theory

Cites Work

• Unnamed Item

This page was built for publication: Some observations on intuitionistically elementary properties of linear orderings