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 37726
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
113
views
Is this dichotomy for a VC-shatter-like function known?
Associated with each family $\mathcal{F}$ of a subsets of a set $\mathbf{X}$ I have a function $f:\mathbb{N}\rightarrow\mathbb{N}$ resembling the dual shatter function. This function obeys a polynomia …
- 211
2
votes
Expressive power of FO with $\mu$
You also might be interested in the paper The Role of Decidability in First Order Separations over Classes of Finite
Structures by Steven Lindell and Scott Weinstein. While they don't address the abov …
- 211
1
vote
0
answers
29
views
Can a positive elementary inductive definition refer to its own stage comparison relation?
This is a cross-post of a question from cstheory.SE
Moschovakis' stage comparison theorem says that the stage comparison relation associated with any positive elementary induction is itself definable …
- 211