J. M. Plotkin

Available identifiers

zbMath Open plotkin.j-mMaRDI QIDQ590477

List of research outcomes

Publication	Date of Publication	Type
The probability of pure literals	1999-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q4764117	1997-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4290002	1994-09-11	Paper
Correction to ``Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem	1987-01-01	Paper
Separation properties and Boolean powers	1984-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
Boolean Powers: Direct Decomposition and Isomorphism Types	1981-01-01	Paper
ZF and Locally Finite Groups	1981-01-01	Paper
Periodic groups generated by finite amalgams	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3863895	1979-01-01	Paper
Some algebraic properties of weakly compact and compact cardinals	1977-01-01	Paper
A patching lemma	1976-01-01	Paper
ZF and Boolean algebra	1976-01-01	Paper
Correction to: ZF and Boolean Algebra	1976-01-01	Paper
An algebraic characterization of power set in countable standard models of ZF	1975-01-01	Paper
On factor coverings of groups	1975-01-01	Paper
A Topology for the Space of Countable Models of a First Order Theory	1974-01-01	Paper
On the Equivalence of Three Local Theorem Techniques	1972-01-01	Paper
Generic Embeddings	1969-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: J. M. Plotkin