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 147877
Model theory is the branch of mathematical logic which deals with the connection between a formal language and its interpretations, or models.
1
vote
0
answers
166
views
Arithmetization of Syntax: Can any semantic be encoded as syntax?
It is my understanding that Gödel Encoding and "Arithmetization of Syntax" can be used to represent any logical system. This is exemplified by the encoding of a Universal Turing Machine.
"According t …
- 111