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 1610
Model theory is the branch of mathematical logic which deals with the connection between a formal language and its interpretations, or models.
8
votes
Accepted
Formalizing "no junk, no confusion"
The way I understand each of the slogans is as follows:
"No junk" I just take to mean that an appropriate induction principle is valid -- that is, we should look for initial models in the appropria …
- 9,201
8
votes
Accepted
What assumptions and methodology do metaproofs of logic theorems use and employ?
It depends on what you're trying to prove, and for what purpose you are proving these metatheorems.
So, the notion of "more" you're appealing to in asking about the metalevel is not completely well- …
- 9,201
12
votes
The use of the word "model" in Mathematical Logic vs the same word in Natural Sciences
No, it's not strange. Understand why it's not strange, and you understand the essence of one of Frege's great innovations in logic: the so-called "linguistic turn", in which he taught us to shift from …
- 9,201
12
votes
Uses of bisimulation outside of computer science.
As you probably know, between choice and foundation, any use of coinductive arguments in ZFC can be eliminated. So you often have cases where coinduction could have been used, but more inductive metho …
- 9,201
31
votes
What is Realistic Mathematics?
At the other side, existence of large cardinals, non-measurable subsets of the reals, etc. are not (immediately) useful for such a study.
I don't know about non-measurable subsets, but large card …
- 9,201
23
votes
Has decidability got something to do with primes?
Another evidence which I think might be relevant: The proof of the incompleteness theorems has some fancy part and some boring part. The fancy part involves Godel's Fixed point lemma and other thin …
- 9,201