The following pages link to John W. Rosenthal (Q584253):
Displayed 21 items.
- Some highly undecidable lattices (Q584255) (← links)
- Intersections of algebraically closed fields (Q1076073) (← links)
- The expected complexity of analytic tableaux analyses in propositional calculus (Q1168964) (← links)
- Exact satisfiability, a natural extension of set partition, and its average case behavior (Q1353993) (← links)
- The expected complexity of analytic tableaux analyses in propositional calculus. II (Q1353995) (← links)
- Correction to ``Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem'' (Q1822244) (← links)
- Relations not determining the structure of L (Q2536615) (← links)
- Models of \(\text{Th}(\langle\omega^\omega,<\rangle)\). (Q2545167) (← links)
- More undecidable lattices of Steinitz exchange systems (Q3149998) (← links)
- Truth in All of Certain Well‐Founded Countable Models Arising in Set Theory II (Q3855169) (← links)
- On the Dimension Theory of N<sub>1</sub>‐Categorical Theories with the Nontrivial Strong Elementary Intersection Property (Q3863861) (← links)
- (Q3863895) (← links)
- (Q3914952) (← links)
- Card Shuffling (Q3931452) (← links)
- Some theories associated with algebraically closed fields (Q3947648) (← links)
- Truth in all of certain well‐founded countable models arising in set theory (Q4074899) (← links)
- Nonmeasurable Invariant Sets (Q4090599) (← links)
- Partial n<sub>1‐</sub>homogeneity of the countable saturated model of an n<sub>1</sub>‐categorical theory (Q4116441) (← links)
- (Q4290002) (← links)
- The probability of pure literals (Q4700097) (← links)
- A new proof of a theorem of Shelah (Q5668799) (← links)