论文信息 - Some decision problems for subtheories of two-dimensional partial orderings - 字舞流文

Some decision problems for subtheories of two-dimensional partial orderings

J. B. Remmel | J. Remmel | A. Manaster | A. B. Manaster

[1] Hartley Rogers,et al. Certain Logical Reduction and Decision Problems , 1956 .

[2] Jeffrey B. Remmel,et al. Partial Orderings of Fixed Finite Dimension: Model Companions and Density , 1981, J. Symb. Log..

[3] Jeffrey B. Remmel,et al. Recursion theory on orderings. I. A model theoretic setting , 1979, Journal of Symbolic Logic.

[4] Alfred B. Manaster,et al. Two-Dimensional Partial Orderings: Recursive Model Theory , 1980, J. Symb. Log..

[5] Jeffrey B. Remmel,et al. Recursion theory on orderings. II , 1980, Journal of Symbolic Logic.

[6] Ben Dushnik,et al. Partially Ordered Sets , 1941 .

[7] Patrick Suppes,et al. Logic, Methodology and Philosophy of Science , 1963 .

[8] Alfred B. Manaster,et al. Two-Dimensional Partial Orderings: Undecidability , 1980, J. Symb. Log..

[9] H. Läuchli,et al. On the elementary theory of linear order , 1966 .

[10] Alonzo Church,et al. Some theorems on definability and decidability , 1952, Journal of Symbolic Logic.