Melven R. Krom

发表

Separation Principles in the Hierarchy Theory of Pure First-Order Logic

Melven R. Krom, 1963, J. Symb. Log..

An unsolvable problem with products of matrices

Melven R. Krom, 2005, Mathematical systems theory.

The Decision Problem for Formulas in Prenex Conjunctive Normal Form with Binary Disjunctions

Melven R. Krom, M. Krom, 1970, J. Symb. Log..

Equivalents of a weak axiom of choice

Melven R. Krom, 1981, Notre Dame J. Formal Log..

A linearly ordered topological space that is not normal

Melven R. Krom, 1986, Notre Dame J. Formal Log..

A property of sentences that define quasi-order

Melven R. Krom, 1966, Notre Dame J. Formal Log..