Omitting Types in Incomplete Theories
β
Enrique Casanovas and Rafel FarrΓ©
π
Article
π
1996
π
Association for Symbolic Logic
π
English
β 240 KB