Partial orderings of fixed finite dimension: Model companions and density
From MaRDI portal
Publication:3952085
DOI10.2307/2273228zbMath0491.03012OpenAlexW2021969758MaRDI 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
Partial orders, general (06A06) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Cites Work