Results 1 -
2 of
2
Characterizations for Computable Structures
- Cornell University
, 2000
"... iii In memory of my father. iv ..."
Notre Dame Journal of Formal Logic
"... We use model theoretic forcing to study and generalize the construction of (K , models introduced by Kueker and Laskowski. We characterize the (K , models in terms of forcing and introduce a more general class of models, called essential forcing generics, which have many of the same proper ..."
Abstract
- Add to MetaCart
We use model theoretic forcing to study and generalize the construction of (K , models introduced by Kueker and Laskowski. We characterize the (K , models in terms of forcing and introduce a more general class of models, called essential forcing generics, which have many of the same properties.

