Melven R. Krom

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
More on Mortality The American Mathematical Monthly	1990-01-01	Paper
Recursive Solvability of Problems with Matrices Zeitschrift für Mathematische Logik und Grundlagen der Mathematik	1989-01-01	Paper
A linearly ordered topological space that is not normal Notre Dame Journal of Formal Logic	1986-01-01	Paper
Partial orderings for sets of multisets Algebra Universalis	1985-01-01	Paper
Equivalents of a weak axiom of choice Notre Dame Journal of Formal Logic	1981-01-01	Paper
An unsolvable problem with products of matrices Mathematical Systems Theory	1981-01-01	Paper
Complete rings of sets and sentential logic Studia Logica	1977-01-01	Paper
Infinite games and special Baire space extensions Pacific Journal of Mathematics	1974-01-01	Paper
Free Subgroups and Folners Conditions. MATHEMATICA SCANDINAVICA	1974-01-01	Paper
Cartesian Products of Metric Baire Spaces	1974-01-01	Paper
Groups with free nonabelian approximable groups Pacific Journal of Mathematics	1970-01-01	Paper
The decision problem for formulas in prenex conjunctive normal form with binary disjunctions Journal of Symbolic Logic	1970-01-01	Paper
scientific article; zbMATH DE number 3271481 (Why is no real title available?)	1968-01-01	Paper
The Decision Problem for a Class of First‐Order Formulas in Which all Disjunctions are Binary Mathematical Logic Quarterly	1967-01-01	Paper
The Decision Problem for Segregated Formulas in First-Order Logic. MATHEMATICA SCANDINAVICA	1967-01-01	Paper
A property of sentences that define quasi-order Notre Dame Journal of Formal Logic	1966-01-01	Paper
A decision procedure for a class of formulas of first order predicate calculus Pacific Journal of Mathematics	1964-01-01	Paper
Separation principles in the hierarchy theory of pure first-order logic Journal of Symbolic Logic	1964-01-01	Paper

Research outcomes over time

This page was built for person: Melven R. Krom