# Tagged Questions

**2**

votes

**1**answer

347 views

### Is this system incomplete?

Let $\mathbf{SBM}$ be the normal modal logic system defined as $\mathbf{T}$ plus the following two axioms:
$$\mathrm{SB}: \Box(\Diamond p \rightarrow p)\rightarrow (p \rightarrow \Box p)$$
...

**6**

votes

**1**answer

242 views

### Groups and pregeometries

Definition.
For an infinite structure $\mathcal{A}$ and $cl : P(dom(\mathcal{A})) \longrightarrow P(dom(\mathcal{A}))$ , we say
that $(\mathcal{A}, cl)$ is a structure carrying an $\omega$-homogeneous ...

**5**

votes

**2**answers

247 views

### When are all greater cardinals sharply greater?

Makkai and Paré introduced the following binary relation on regular cardinals: given $\kappa$ and $\lambda$, $\kappa \vartriangleleft \lambda$ (read, $\kappa$ is sharply less than $\lambda$) when ...

**-4**

votes

**0**answers

105 views

### How can I prove: If A is a subset of C and B is a subset of D, then the union of A and B is a subset of the union of C and D? [on hold]

How could I write a proof for the above statement, considering I'm studyng the first Enginnering math's course? (in other words, my math level is pretty basic)
Thanks in advance

**7**

votes

**1**answer

219 views

### Vaught conjecture for uncountable languages

Recall Vaught conjecture: the number of countable models of a first-order complete theory in a countable language is finite or $\aleph_0$ or $2^{\aleph_0}.$
Now let $\lambda$ be an uncountable ...

**6**

votes

**1**answer

218 views

### higher-order reflection

In the first-order context, "reflection" of a formula $\varphi(x)$ below $\kappa$ refers to the the following situation:
There are many ordinals $\alpha<\kappa$ such that for all $a \in ...

**57**

votes

**8**answers

3k views

### Can we unify addition and multiplication into one binary operation? To what extent can we find universal binary operations?

The question is the extent to which we can unify addition
and multiplication, realizing them as terms in a single
underlying binary operation. I have a number of questions.
Is there a binary ...

**-1**

votes

**0**answers

60 views

### Fixed point combinator and functions with no fixed point [on hold]

In lambda calculus the fixed point combinator is defined as:
$$Y=\lambda f.(\lambda x.f (xx))(\lambda x.f (xx)) $$
It is very easy to see how $Yg =g(Yg)$ for any $g$ by using $\beta$-reduction.
...

**10**

votes

**1**answer

481 views

+50

### “cov vs pp” problem

This is the problem $(\beta)$ of the section 14.7 in the "Analytical Guide" of the Shelah's book "Cardinal Arithmetic":
$(\beta)$ Is $\operatorname{cov} ( \lambda , \lambda, \aleph_{1} , 2) =^{+} ...

**0**

votes

**1**answer

94 views

### Preserving Predimension Functions under Functional Convergences

Definition 1. If $\mathcal{L}$ is a countable relational language, a predimension class $C$ is a class of $\mathcal{L}$-structures with the following properties:
C1: ...

**5**

votes

**1**answer

324 views

### Can $V\neq\text{HOD}$ if every $\Sigma_2$-definable set has an ordinal-definable element?

This question arises from an issue arising in user38200's recent question concerning models of set theory in which every definable set has a definable element. In my answer to that question, with ...

**50**

votes

**3**answers

6k views

### Nelson's program to show inconsistency of ZF

At the end of the paper Division by three by Peter G. Doyle and John H. Conway, the authors say:
Not that we believe there really are any such things as infinite sets, or that the Zermelo-Fraenkel ...

**12**

votes

**5**answers

1k views

**27**

votes

**7**answers

5k views

### Status of Harvey Friedman's grand conjecture?

Friedman [1] conjectured
Every theorem published in the Annals of Mathematics whose
statement involves only finitary mathematical objects (i.e., what logicians
call an arithmetical statement) ...

**6**

votes

**8**answers

2k views

### ULTRAINFINITISM, or a step beyond the transfinite

Cantor has, in the immortal words of D. Hilbert, given all of us a paradise (or perhaps, I would rather say, a great vacation spot), the TRANSFINITE.
$\aleph_0, \aleph_1,\aleph_2\dots$
the lists ...

**12**

votes

**0**answers

724 views

### Hrushovski's Construction

Zilber expressed a conjecture for $\aleph_{1}$- categorical theories (In the 80s).
Zilber's Conjecture: The geometry of any $\aleph_{1}$- categorical structure is one of the following:
(a) Trivial ...

**8**

votes

**2**answers

599 views

### Are there standard examples of stable theories that are undecidable?

What is known about decidability of various first order theories studied in stable model theory, geometric model theory, o-minimality? For example, is there a natural example of an undecidable ...

**3**

votes

**1**answer

254 views

### A totally categorical structure with trivial geometry which is not interpretable in the trivial structure

Among the theorems of early geometric model theory there is one by Lachlan stating that every totally categorical structure with a trivial pregeometry is intrepretable in a dense linear order.
That ...

**25**

votes

**15**answers

2k views

### Objects which can't be defined without making choices but which end up independent of the choice

It happens a lot of times that when one defines a new object (ring, module, space, group, algebra, morphism, whatever) out of given data one first chooses some additional structure. And sometimes ...

**5**

votes

**1**answer

380 views

### Random real forcing

Let $\kappa$ be an infinite cardinal and let $B$ be the random forcing for adding $\kappa$-many random reals.
Question: What are the elements of $B$. More precisely given a condition $p \in B$, what ...

**15**

votes

**0**answers

390 views

### Relative consistency of ETCS over the theory of a well-pointed topos with NNO

EDIT: I'm bumping this, because I'm still curious, and because I have a relative consistency result over the theory of a well-pointed topos with NNO, and I am wondering how much baggage I save by not ...

**7**

votes

**1**answer

144 views

### Definability of Morley rank in the theory of Compact Complex Spaces(CCS)

Is there a counter-example showing that Morley rank in the theory of compact complex spaces (as defined by Zilber, Pillay, Moosa, ...) is not definable in families?
Given the existence of such a ...

**11**

votes

**3**answers

514 views

### Can Suslin (or Aronszajn) lines ever be orderings of abelian groups?

I am interested in realizing linear orders as orderings of abelian groups. In particular, can Suslin lines (and other classes of line) be realised in this way?
Let $\mathcal{C}$ be a class of ...

**6**

votes

**1**answer

306 views

### Different approaches to forcing

There are many different approaches to the forcing method, and I am looking for all known such approaches. So my question is:
Question 1. Which different approaches to set theoretic forcing are ...

**5**

votes

**0**answers

138 views

### A variant of Chang's model with choice

Let $M_n$, $n < \omega$, be a models of $ZFC$ with the same ordinals, closed under countable sequences. Let $\alpha_n$ be an ordinal which is a regular cardinal in $M_n$.
Question 1: Is it ...

**-2**

votes

**1**answer

1k views

### Kadison-Singer problem

The Kadison-Singer problem is the following statement:
for any $\epsilon >0$, there exists $r\in \mathbb N$ such that
for any bounded operator $A$ on $\ell^2(\mathbb Z)$, there exists a partition ...

**14**

votes

**5**answers

741 views

### What is the spectrum of possible cofinality types for cuts in an ordered field? Or in a model of the hyperreals? Or in a nonstandard model of arithmetic?

I am interested to know the full range of possibilities for the cofinality type of cuts in an ordered field and in other structures, such as nonstandard models of arithmetic.
Definitions. ...

**4**

votes

**0**answers

196 views

### Stability of analytic Zariski structures

Noetherian Zariski structures are introduced by Hrushovski and Zilber(1996).
An analytic Zariski structure is a generalization of Noetherian Zariski structures, introduced by Zilber and Peatfield.
...

**17**

votes

**2**answers

656 views

### Which are the rigid suborders of the real line?

Which are the rigid suborders of the real line?
If A is any set of reals, then it can be viewed as an order structure itself under the induced order (A,<). The question is, when is this structure ...

**6**

votes

**0**answers

215 views

### Silver's unpublished work on reverse Easton iteration

Silver was the first person who used the method of reverse Easton iterations in connection with large cardinals, and used it to force the failure of $GCH$ at some measurable cardinal.
At most papers ...

**3**

votes

**0**answers

49 views

### A question on the incompleteness of quantified K.2 and S4.2 with the Barcan formula

I have been attempting to come to grips with Max Cresswell's account of this in Journal of Philosophical Logic 24 (4):379 - 403 (1995) where he presents proofs of the incompleteness of QK.2BF as well ...

**5**

votes

**3**answers

254 views

### Does this property of a first-order structure imply categoricity?

Let $\mathfrak{A}$ be a first-order structure over a relational language and let $\kappa$ be an infinite cardinal. Lets say that $\mathfrak{A}$ has the $\kappa$-property if for every structure ...

**1**

vote

**0**answers

54 views

### A question on completeness for quantified temporal logics

Quantified temporal logics have the Barcan formulas and its converses for both G (it will always be the case that) and H (it has always been the case that), so that both $\forall x G \alpha ...

**8**

votes

**2**answers

314 views

### Ultracoproducts and Cartesian products

Let $X$ be a metrizable compact topological space, let $\mathcal U$ be an ultrafilter, and denote by $X^{\mathcal U}$ the ultracopower of $X$ with respect to $\mathcal U$.
As a C$^*$-algebraist, I ...

**6**

votes

**1**answer

321 views

### A “good scale” that is not really a scale

I don't know much about singular cardinal combinatorics, so I apologize in advance if I write something that is wrong or looks funny. First let me recall some basic definitions.
Let $\lambda$ be a ...

**10**

votes

**2**answers

477 views

### Failure of diamond at large cardinals

What is known about the failure of $\Diamond_{\kappa}$ (diamond at $\kappa$) for $\kappa$ (the least) inaccessible, (the least) Mahlo and (the least) weakly compact.
Remark. The problem of forcing ...

**16**

votes

**1**answer

404 views

### Three old questions on the Sacks forcing

I came across the two following Qs in 1970.
Find reals $a,b$ such that $a$ is Sacks over $L[b]$ and vice versa $b$ is Sacks over $L[a]$. Note that a Sacks $\times$ Sacks generic pair definitely does ...

**7**

votes

**1**answer

267 views

### Forcing, cuts, and Dedekind-finite cardinalities

Tl;dr version: there are two natural classes of cuts in the nonstandard model of arithmetic consisting of the Dedekind-finite sets (if, in fact, they constitute such a model); both these classes are ...

**10**

votes

**3**answers

1k views

### Is there a categorical proof of Gödel's incompleteness theorem?

A significant result in set theory was shown by Cohen when he showed that the continuum hypothesis was independent of ZFC using a new technique called forcing. In Topos theory, this result has a new ...

**1**

vote

**0**answers

115 views

### On directedness, transitivity and ancestral directedness

Let $\textit{C}$ be the modal logical schema $(\square (\square \alpha \rightarrow \alpha) \wedge \square (\square \lnot\alpha \rightarrow \lnot \alpha))\rightarrow (\square \alpha \vee \square \lnot ...

**1**

vote

**0**answers

37 views

### Completeness results for quantified tense logics with BF?

Modal tense logics or temporal logics are important in that they correspond with partial orders and their extensions.
Are there completeness results for quantified temporal logics with the Barcan ...

**3**

votes

**2**answers

447 views

### Applications of propositional dynamic logic

Propositional dynamic logic (PDL) is an example of a (multi)modal logic with a structure on the set of modalities. In particular, the set of its modalities is indexed by "programs" and one can use ...

**4**

votes

**1**answer

159 views

### On a modal correspondence

Is there an intuitive characterization of the correspondence for the modal logical formula $\square (\alpha \rightarrow \square \alpha) \rightarrow (\square \alpha \vee \square \lnot \alpha)$?
In ...

**6**

votes

**1**answer

181 views

### Is a computer program for correspondence theory available?

In the 1990s I some times used a computer program with the Max Planck Institute which helped with calculating complicated correspondences for modal logical formulas. Is some program like that ...

**2**

votes

**1**answer

113 views

### A question on the modal logic S4.2

The modal logic S4.2 with the characteristic axioms
4: $\square \alpha \rightarrow \square \square \alpha$
and
.2: $\lozenge \square \alpha \rightarrow \square \lozenge \alpha$
and
T: ...

**2**

votes

**2**answers

137 views

### Adjoint of Pushout as Modal Operators in Internal Logic

Regarding the internalization of mathematics to a particular category as in the nLab article: Internal Logic, there is a peculiar table mentioned in the section on Categorical Semantics in which there ...

**7**

votes

**1**answer

259 views

### Saturated Ultrapowers

I posted it on MSE and didn't receive any comments or answers, so I thought I would post it here.
(See http://math.stackexchange.com/questions/895549/keisler-order-saturated-ultrapowers)
Keisler's ...

**5**

votes

**2**answers

133 views

### Algorithm for determining when polynomial iteration is bounded?

Let $f: \mathbb{Q}\to \mathbb{Q}$ be a polynomial map with rational coefficients. Let $p\in \mathbb{Q}^n$. Is there a known algorithm that given this data determines whether or not the iterates ...

**2**

votes

**0**answers

92 views

### reference on aperiodicity and cluster [closed]

From this image:
I believe there is a message relating those clusters drawn in picture and aperiodic tiling. Does anyone have some reference on this? Thank you :)

**14**

votes

**2**answers

570 views

### Are the quaternions not uncountably categorical?

Boris Zilber has argued that the field of the complex numbers is "logically perfect". For one thing, the theory of an algebraically closed field of characteristic zero is uncountably categorical: it ...