Fred G. Abramson

Models Without Indiscernibles

Leo Harrington, Fred G. Abramson, L. Harrington, 1978, J. Symb. Log..

Effective Computation over the Real Numbers

Fred G. Abramson, 1971, SWAT.

Locally countable models of Σ1-separation

Fred G. Abramson, F. G. Abramson, 1981, Journal of Symbolic Logic.

Complex Properties of Grammars

Yuri Breitbart, Forbes D. Lewis, Fred G. Abramson, 1980, JACM.

Interpolation Theorems for Program Schemata

Fred G. Abramson, 1978, Inf. Control..

Sacks forcing does not always produce a minimal upper bound

Fred G. Abramson, F. G. Abramson, 1979 .