Two-dimensional partial orderings: Recursive model theory
From MaRDI portal
Publication:3921203
DOI10.2307/2273359zbMath0468.03009OpenAlexW2124073211MaRDI QIDQ3921203
Joseph G. Rosenstein, Alfred B. Manaster
Publication date: 1980
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273359
Partial orders, general (06A06) Foundations of classical theories (including reverse mathematics) (03B30) Model theory of denumerable and separable structures (03C15)
Related Items
Weakly semirecursive sets and r.e. orderings, A theory of recursive dimension of ordered sets, Recursive versus recursively enumerable binary relations
Cites Work