John W. Rosenthal

According to our database, John W. Rosenthal authored at least 15 papers between 1972 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2002

More Undecidable Lattices of Steinitz Exchange Systems.

L. R. Galminas, John W. Rosenthal

J. Symb. Log., 2002

1999

The Probability of Pure Literals.

John W. Rosenthal, Jacob Manuel Plotkin, John Franco

J. Log. Comput., 1999

1992

Exact Satisfiability, a Natural Extension of Set Partition and Its Average Case Behavior.

John W. Rosenthal, Ewald Speckenmeyer, Rainer Kemp

Ann. Math. Artif. Intell., 1992

The Expected Complexity of Analytic Tableaux Analyses in Propositional Calculus - II.

John W. Rosenthal

Ann. Math. Artif. Intell., 1992

1990

Some Highly Undecidable Lattices.

Menachem Magidor, John W. Rosenthal, Mattiyahu Rubin, Gabriel Srour

Ann. Pure Appl. Log., 1990

1987

Correction to probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem.

John Franco, Jacob Manuel Plotkin, John W. Rosenthal

Discret. Appl. Math., 1987

1986

Intersections of algebraically closed fields.

Christopher J. Ash, John W. Rosenthal

Ann. Pure Appl. Log., 1986

1982

The expected complexity of analytic tableaux analyses in propositional calculus.

Jacob Manuel Plotkin, John W. Rosenthal

Notre Dame J. Formal Log., 1982

1980

Some Theories Associated with Algebraically Closed Fields.

Christopher J. Ash, John W. Rosenthal

J. Symb. Log., 1980

1979

Truth in All of Certain Well-Founded Countable Models Arising in Set Theory II.

John W. Rosenthal

Math. Log. Q., 1979

On the Dimension Theory of N₁-Categorical Theories with the Nontrivial Strong Elementary Intersection Property.

John W. Rosenthal

Math. Log. Q., 1979

1975

Partial n_1-homogeneity of the countable saturated model of an n₁-categorical theory.

John W. Rosenthal

Math. Log. Q., 1975

Truth in all of certain well-founded countable models arising in set theory.

John W. Rosenthal

Math. Log. Q., 1975

1974

Models of Th(<ω^ω,<>).

John W. Rosenthal

Notre Dame J. Formal Log., 1974

1972

A New Proof of a Theorem of Shelah.

John W. Rosenthal

J. Symb. Log., 1972