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 11115
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.
18
votes
3
answers
2k
views
Scott-Solovay unpublished paper on ``Boolean valued models of set theory''
I have read some papers from 1970$^{th}$, and in some of them, the paper of Scott and Solovay on ``Boolean valued models of set theory'' is given as a main reference, with many references to the resul …
- 47.8k
12
votes
2
answers
906
views
Bernstein's proof of the continuum hypothesis
In the paper The Continuumproblem, Felix Bernstein introduces a new axiom and uses it to conclude the continuum hypothesis.
(1) As the paper is relatively old and the writing style is somehow informal …
- 20.7k
6
votes
1
answer
215
views
On the number of complete Boolean algebras
In their 1972 paper On the number of complete Boolean algebras Monk and Solovay showed that if $\lambda$ is an infinite cardinal, then there are $2^{2^\lambda}$ many isomorphism types of
complete Boo …
- 32.5k
5
votes
0
answers
191
views
Product of nice proper forcing notions
Question Are there forcing notions $P$ and $Q$ such that $P$ is proper and $\aleph_2$-cc, $Q$ is proper and satisfies the $\aleph_2$-pic (pic=properness isomorphism condition) such that $P \times Q$ i …
- 32.2k
11
votes
0
answers
442
views
c.c.c forcing notions and adding minimal generic reals
Is the following statement consistent:
``There is no non-trivial c.c.c forcing notion adding a minimal generic real''?
The question is related to Prikry's question: Is it consistent that any non-tr …
- 35.5k
15
votes
0
answers
1k
views
Condensed mathematics and independence results
I recently saw a paper on ``condensed mathematics'', in which I found the following quote interesting (see Condensed Mathematics: The internal Hom of condensed sets and condensed abelian groups and a …
- 32.2k
11
votes
2
answers
705
views
ZFC applications of Shelah's creature forcing
Shelah's creature forcing is a very powerful method, with wide range of applications. The method also has some applications in ZFC, let's quote a few of them that I am aware of:
(1) In A partition the …
- 4,713
9
votes
1
answer
719
views
Reinhardt cardinals and iterability
Work in $ZF$. Let $j:V\to V$ be a non-trivial elementary embedding which is iterable, so that we can iterate it and form models $M_\alpha, \alpha\in ON,$ with $M_0=V,$ and elementary embeddings $j_{\a …
- 3,052
4
votes
0
answers
202
views
PFA for cardinal preserving forcing notions and the CH
Let $FA_{\aleph_1}$(cardinal preserving proper forcings) be the forcing axiom: if $\mathbb{P}$ is a cardinal preserving proper forcing notion and $(D_\xi)_{\xi<\omega_1}$ are dense subsets of $\mathb …
- 4,713
7
votes
2
answers
706
views
On a theorem of Zhang Jinwen about models of arithmetic
In the paper ''A Nonstandard Model of Arithmetic Constructed by means of Forcing Method'', Zhang Jinwen states the following in his abstract:
The first nonstandard model of arithmetic was given by …
- 63.9k
12
votes
2
answers
580
views
Forcing notions adding minimal reals
I am looking for a comprehensive list of known forcing notions which add a minimal real into the ground model. I know some of them like the Sacks forcing, or the Judah-Shelah's example of a c.c.c. for …
- 18.6k
13
votes
0
answers
696
views
Applications of Set theory vs. model theory in mathematics
I have a question that has occupied my mind for some time.
Let's first consider applications of set theory and model theory in mathematics.
Major applications of set theory are in topology, Banach spa …
- 663
8
votes
0
answers
182
views
Topological Vaught's conjecture for special theories
As is know, Vaught's conjecture is a special case of topological Vaught's conjecture.
On the other hand, the Vaught's conjecture is true for the following theories:
1- $\omega$-stable theories (Shel …
- 32.2k
12
votes
0
answers
372
views
Singular Jonsson cardinals
Is the following consistent?
$(*)$: There exists a singular cardinal $\kappa$ such that :
(1) $\kappa$ is a Jonsson cardinal,
(2) $\kappa$ is not a fixed point of the $\aleph-$function, i.e., $\kappa …
CommunityBot
- 1
14
votes
1
answer
717
views
The axiom $I_0$ in the absence of $AC$
It is well-known that if $AC$ holds and if $j: L(V_{\lambda+1}) \to L(V_{\lambda+1})$ is a non-trivial elementary embedding with $crit(j) < \lambda,$
then $\lambda$ has countable cofinality (and in fa …
- 32.2k