Some elementary results in intuitionistic model theory

DOI10.2307/2275782zbMath0860.03041OpenAlexW2122160895MaRDI QIDQ5687313

Wim Veldman, Frank Waaldijk

Publication date: 21 April 1997

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/28723

zbMATH Keywords

elementary equivalenceelementary substructurestrongly homogeneousback-and-forth-homogeneousintuitionistic structuremodel theory as part of intuitionistic mathematics

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Basic properties of first-order languages and structures (03C07)

Related Items (6)

Trakhtenbrot’s Theorem in Coq ⋮ Equality and equivalence, intuitionistically ⋮ Reverse mathematics of topology: dimension, paracompactness, and splittings ⋮ Unnamed Item ⋮ On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions ⋮ Constructive algebraic integration theory

Cites Work

• Unnamed Item
• Some observations on intuitionistically elementary properties of linear orderings
• Constructivism in mathematics. An introduction. Volume I
• A course in constructive algebra

This page was built for publication: Some elementary results in intuitionistic model theory