Partial orderings of fixed finite dimension: Model companions and density
From MaRDI portal
Publication:3952085
DOI10.2307/2273228zbMath0491.03012MaRDI QIDQ3952085
Alfred B. Manaster, Jeffery B. Remmel
Publication date: 1981
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273228
06A06: Partial orders, general
03C65: Models of other mathematical theories
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Cites Work