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 109573
Model theory is the branch of mathematical logic which deals with the connection between a formal language and its interpretations, or models.
12
votes
Accepted
Is "There exists an unbounded non-measurable set but no bounded non-measurable set" consiste...
The answer to your first question is yes, and the answer to your second question is no, under any of the multiple definitions of "measurable" in choiceless contexts.
We will prove a theorem relating v …
- 4,316
7
votes
Accepted
How hard is it to get "absolutely" no amorphous sets?
Turning my comment into an answer, an $X$ which is the universe of any finitely axiomatized theory with an infinite model must be orderable, and there must be a bijection between between $X$ and $X^2. …
- 4,316
2
votes
Is "There exists an unbounded non-measurable set but no bounded non-measurable set" consiste...
This is more of a long comment than an answer.
The "right" notion of an unbounded set being measurable in ZF is less than clear. Suppose $\mathbb{R}$ is a countable union of countable sets. Let $\lang …
- 4,316