John W. Rosenthal

Available identifiers

zbMath Open rosenthal.john-wMaRDI QIDQ584253

List of research outcomes

Publication	Date of Publication	Type
More undecidable lattices of Steinitz exchange systems	2003-10-28	Paper
The probability of pure literals	1999-10-31	Paper
The expected complexity of analytic tableaux analyses in propositional calculus. II	1997-05-13	Paper
Exact satisfiability, a natural extension of set partition, and its average case behavior	1997-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4290002	1994-09-11	Paper
Some highly undecidable lattices	1990-01-01	Paper
Correction to ``Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem	1987-01-01	Paper
Intersections of algebraically closed fields	1986-01-01	Paper
The expected complexity of analytic tableaux analyses in propositional calculus	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3914952	1982-01-01	Paper
Card Shuffling	1981-01-01	Paper
Some theories associated with algebraically closed fields	1980-01-01	Paper
Truth in All of Certain Well‐Founded Countable Models Arising in Set Theory II	1979-01-01	Paper
On the Dimension Theory of N₁‐Categorical Theories with the Nontrivial Strong Elementary Intersection Property	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3863895	1979-01-01	Paper
Nonmeasurable Invariant Sets	1975-01-01	Paper
Truth in all of certain well‐founded countable models arising in set theory	1975-01-01	Paper
Partial n_1‐homogeneity of the countable saturated model of an n₁‐categorical theory	1975-01-01	Paper
Models of \(\text{Th}(\langle\omega^\omega,<\rangle)\).	1974-01-01	Paper
A new proof of a theorem of Shelah	1972-01-01	Paper
Relations not determining the structure of L	1971-01-01	Paper

Research outcomes over time

This page was built for person: John W. Rosenthal