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 lo.logic
Search options questions only
not deleted
user 11145
first-order and higher-order logic, model theory, set theory, proof theory, computability theory, formal languages, definability, interplay of syntax and semantics, constructive logic, intuitionism, philosophical logic, modal logic, completeness, Gödel incompleteness, decidability, undecidability, theories of truth, truth revision, consistency.
7
votes
1
answer
399
views
continuity points of elementary embeddings from $0^\sharp$
Suppose $0^\sharp$ exists, and let $\langle \alpha_i : i \in \text{Ord}\rangle$ be the Silver indiscernibles for $L$. Let $j : L \to L$ be the embedding generated by mapping $\alpha_n$ to $\alpha_{n+ …
- 18.7k
13
votes
2
answers
555
views
Is categoricity retained when reducing the language?
Suppose $\mathcal L \subseteq \mathcal L’$ are first-order languages, $\kappa$ is a cardinal, and $T’$ is a theory in $\mathcal L’$ that is $\kappa$-categorical. Let $T = T’ \restriction \mathcal L$. …
- 18.7k
4
votes
1
answer
303
views
bijections and order types
Suppose $\kappa$ is an infinite cardinal and $\alpha$ is an ordinal of cardinality $\kappa$. Is it possible to find a bijection $f : \kappa \to \alpha$ such that for all $x \subseteq\kappa$, $\mathrm …
- 18.7k
6
votes
1
answer
302
views
Internal vs. external definability of inner models
Suppose $\kappa$ is an inaccessible cardinal. Is the following situation consistent?
There is $p \in V_\kappa$ and a formula $\phi(x)$ such that there is exactly one $M \subseteq V_\kappa$ such tha …
- 18.7k
14
votes
3
answers
483
views
For ideals, does normal imply countably complete?
The following little question has bugged me for a while.
Suppose $Z \subseteq \mathcal P(X)$. We say an ideal $I$ on $Z$ is normal when it is closed under diagonal unions, which means that if $\{ A_x …
- 18.7k
3
votes
1
answer
239
views
Veličković's model game
This question is about the argument for Lemma 3.7 in Forcing axioms and stationary sets (MSN) by Boban Veličković.
He defines a game $G_\alpha$ between two players, playing objects in $H_\kappa$, depe …
- 18.7k
6
votes
0
answers
273
views
A strengthening of Chang's conjectures
In the Handbook of Set Theory, Foreman has (essentially) the following proposition (3.9):
Suppose $\kappa_n>...>\kappa_0$ and $\lambda_n>...>\lambda_0$ are regular cardinals and $(\kappa_n,...,\ka …
- 18.7k
7
votes
1
answer
420
views
Skolem Hulls in $H_{\omega_2}$
I put this on stack exchange over a week ago with no answer, so let's try here.
Consider a model of the form $\mathfrak{A} = (H_{\omega_2}, \in, \lhd, f_0, f_1, ...)$, some expansion of $H_{\omega_2} …
- 18.7k
5
votes
1
answer
246
views
Amalgamation via elementary embeddings
Can there exist three transitive models of ZFC with the same ordinals, $M_0,M_1,N$, such that there are elementary embeddings $j_i : M_i \to N$ for $i<2$, but there is no elementary embedding from $M_ …
- 18.7k
13
votes
1
answer
572
views
End-extending cardinals
Let us say a cardinal $\kappa$ end-extending if there is a function $F : V_\kappa^{<\omega} \to V_\kappa$ such that:
(a) If $M \subseteq V_\kappa$ is closed under $F$, then $M \prec V_\kappa$.
(b) If …
- 18.7k
9
votes
1
answer
500
views
Solovay’s model
Solovay proved that if $\kappa$ is inaccessible, then if we adjoin a generic $G \subseteq \mathrm{Col}(\omega,{<}\kappa)$, then in the extension, every set of reals in $L(\mathbb R)$ is Baire- and Leb …
- 18.7k
3
votes
0
answers
127
views
Is there a name for this operation on integer functions?
Suppose $f$ and $g$ are functions from $\mathbb N^+$ to itself. I want to consider the function $f^g$, where $f^g(n) = f \circ \dots \circ f(n)$, where composition is done $g(n)$-many times. Note tha …
- 18.7k
12
votes
2
answers
551
views
$\omega_1$-approximation property for Sacks iteration— contradiction in literature?
The following is a folklore result.
Suppose $P$ is a countable support iteration of nontrivial forcings, $\langle P_\alpha, \dot{Q}_\alpha : \alpha < \omega_1 \rangle$. Then there is a complete embe …
- 18.7k
9
votes
1
answer
286
views
Countably closed end-extensions of elementary submodels
The following is well-known. If $\kappa$ is measurable, $\theta > \kappa$, and $M \prec V_\theta$ has size $<\kappa$, then there is $N\prec V_\theta$ such that $N \supseteq M$, $M \cap \kappa \not= N …
- 18.7k
9
votes
0
answers
314
views
Non-closed Neeman forcing
This question is something of a follow-up to this one:
Iterating Neeman's forcing
It regards the work of Itay Neeman, MR3201836.
Neeman formulates his two-type models forcing seemingly in greater gene …
- 18.7k