Person:1237718

Available identifiers

zbMath Open krom.melven-rMaRDI QIDQ1237718

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Melven R. Krom