The birth of model theory: Lowenheim’s theorem in the frame of the theory of relatives
KeywordsNormal Form Countable Model Completeness Theorem Logical Positivist Skolem Function
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Springer Science + Business Media, Inc 2005