Melven R. Krom

Available identifiers

Publication	Date of Publication	Type
More on Mortality	1990-01-01	Paper
Recursive Solvability of Problems with Matrices	1989-01-01	Paper
A linearly ordered topological space that is not normal	1986-01-01	Paper
Partial orderings for sets of multisets	1985-01-01	Paper
Equivalents of a weak axiom of choice	1981-01-01	Paper
An unsolvable problem with products of matrices	1981-01-01	Paper
Complete rings of sets and sentential logic	1977-01-01	Paper
Infinite games and special Baire space extensions	1974-01-01	Paper
Free Subgroups and Folners Conditions.	1974-01-01	Paper
Cartesian Products of Metric Baire Spaces	1974-01-01	Paper
Groups with free nonabelian approximable groups	1970-01-01	Paper
The decision problem for formulas in prenex conjunctive normal form with binary disjunctions	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5556404	1968-01-01	Paper
The Decision Problem for a Class of First‐Order Formulas in Which all Disjunctions are Binary	1967-01-01	Paper
The Decision Problem for Segregated Formulas in First-Order Logic.	1967-01-01	Paper
A property of sentences that define quasi-order	1966-01-01	Paper
A decision procedure for a class of formulas of first order predicate calculus	1964-01-01	Paper
Separation principles in the hierarchy theory of pure first-order logic	1964-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Melven R. Krom