Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with model-theory
Search options not deleted
user 10708
Model theory is the branch of mathematical logic which deals with the connection between a formal language and its interpretations, or models.
5
votes
1
answer
949
views
Elementary end extension of a countable model for ZF
Theorem 2.2.18 in Chang and Kiesler uses omitting types to show that any countable model of ZF has an elementary end extension.
Can we control the countable order type of such a model? for example, if …
- 639
12
votes
7
answers
3k
views
Use of indiscernibles in model theory
What is the main use of indiscernibles in model theory? reading through Chang and Keisler's Model Theory it seems that the main motivation for indicernibles is for getting many non-isomorphic models f …
- 639
6
votes
7
answers
5k
views
Compactness Theorem for First Order Logic
Hi all,
I am interested in proofs without using Goedel's completeness theorem.
Does anyone have a reference to a proof of this theorem that uses Skolem Functions?
How come Enderton's (Introduction t …
- 639