William N. Reinhardt

Necessity predicates and operators

William N. Reinhardt, 1980, J. Philos. Log..

Epistemic theories and the interpretation of Gödel's incompleteness theorems

William N. Reinhardt, W. Reinhardt, 1986, J. Philos. Log..

Epistemic set theory

William N. Reinhardt, 1988, Notre Dame J. Formal Log..

Some remarks on extending and interpreting theories with a partial predicate for truth

William N. Reinhardt, 1986, J. Philos. Log..

Ackermann's set theory equals ZF

William N. Reinhardt, W. Reinhardt, 1970 .

Model Theory and Non-Standard Arithmetic.

Abraham Robinson, William N. Reinhardt, 1970 .

Strong axioms of infinity and elementary embeddings

Akihiro Kanamori, William N. Reinhardt, Robert M. Solovay, 1978 .