John W. Rosenthal

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2002
More Undecidable Lattices of Steinitz Exchange Systems.
J. Symb. Log., 2002

1999
The Probability of Pure Literals.
J. Log. Comput., 1999

1992
Exact Satisfiability, a Natural Extension of Set Partition and Its Average Case Behavior.
Ann. Math. Artif. Intell., 1992

The Expected Complexity of Analytic Tableaux Analyses in Propositional Calculus - II.
Ann. Math. Artif. Intell., 1992

1990
Some Highly Undecidable Lattices.
Ann. Pure Appl. Log., 1990

1987
Correction to probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem.
Discret. Appl. Math., 1987

1986
Intersections of algebraically closed fields.
Ann. Pure Appl. Log., 1986

1982
The expected complexity of analytic tableaux analyses in propositional calculus.
Notre Dame J. Formal Log., 1982

1980
Some Theories Associated with Algebraically Closed Fields.
J. Symb. Log., 1980

1979
Truth in All of Certain Well-Founded Countable Models Arising in Set Theory II.
Math. Log. Q., 1979

On the Dimension Theory of N<sub>1</sub>-Categorical Theories with the Nontrivial Strong Elementary Intersection Property.
Math. Log. Q., 1979

1975
Partial n<sub>1-</sub>homogeneity of the countable saturated model of an n<sub>1</sub>-categorical theory.
Math. Log. Q., 1975

Truth in all of certain well-founded countable models arising in set theory.
Math. Log. Q., 1975

1974
Models of Th(<ω<sup>ω</sup>,<>).
Notre Dame J. Formal Log., 1974

1972
A New Proof of a Theorem of Shelah.
J. Symb. Log., 1972


  Loading...