Skip to main content
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 for "mathfrak p" tagged with
Search options questions only not deleted

forcing, large cardinals, descriptive set theory, infinite combinatorics, cardinal characteristics, forcing axioms, ultrapowers, measures, reflection, pcf theory, models of set theory, axioms of set theory, independence, axiom of choice, continuum hypothesis, determinacy, Borel equivalence relations, Boolean-valued models, embeddings, orders, relations, transfinite recursion, set theory as a foundation of mathematics, the philosophy of set theory.

12 votes
1 answer
533 views

Building the real from Dedekind finite sets

It is also known that the reals may contain a Dedekind finite set, so they are Dedekind finite union of disjoint sets (if $\mathfrak p<\mathfrak c$ is Dedekind finite then $\frak p\times c=c$ so we may … partition $\Bbb R$ into $\frak p$ many parts) Is it possible to get a "better" construction of the reals using Dedekind finite sets? …
1 vote
1 answer
140 views

Thinning directed sets ${\frak P}$ of partitions of $\omega$ with no ${\frak P}$-discrete su...

A family $\mathfrak P$ of partitions of $\omega$ is called directed if for any two partitions $\mathcal A,\mathcal B\in\mathfrak P$ there exists a partition $\mathcal C\in\mathfrak P$ such that each set … Let $\mathfrak P$ is a family of partitions of $\omega$. …
5 votes
1 answer
369 views

Is it true that $\mathit{MA}(\omega_1)$ iff $\omega_1<\mathfrak{p}$?

Recall that $\mathfrak{p}=\min\{|F|: F$ is a subfamily of $[\omega]^{\omega}$ with the sfip which has no infinite pseudo-intersection $\}$. … The cardinal $\mathfrak{q}_0$ defined as the smallest cardinality of a subset of $\mathbf{R}$ which is not a $Q$-space. Q1. Is it true that $\mathit{MA}(\omega_1)$ iff $\omega_1<\mathfrak{p}$ ? Q2. …
28 votes
0 answers
822 views

Can one divide by the cardinal of an amorphous set?

The ultimate question is whether this is actually provable in ZF: If $\mathfrak{m}$ is an infinite cardinal, must there be two cardinals $\mathfrak{p} \neq \mathfrak{q}$ such that $\mathfrak{p}\cdot\mathfrak … {m} = \mathfrak{q}\cdot\mathfrak{m}$? …
3 votes
0 answers
78 views

Is $\mathfrak q_0$ equal to the smallest cardinality of a second-countable $T_1$-space which...

It is known that $\mathfrak p\le\mathfrak q_0\le\mathfrak b$. … The standard proof of the inequality $\mathfrak p\le\mathfrak q_0$ gives a bit more: Any second-countable $T_1$-space of cardinality $<\mathfrak p$ is a $Q$-space. …
2 votes
0 answers
116 views

Cardinal characteristics of the ideal of $\sigma$-continuity of the Pawlikowski function

On the other hand, it can be shown that $\mathrm{non}(\mathcal I_P)\ge\mathfrak p$. It is well-known that the strict inequality $\mathfrak p<\mathrm{non}(\mathcal M)$ is consistent. … Which of the inequalities $\mathfrak p<\mathrm{non}(\mathcal I_P)$ and $\mathrm{non}(\mathcal I_P)<\mathrm{non}(\mathcal M)$ is consistent? Problem 2. …
14 votes
2 answers
666 views

Are there interesting examples of theorems proved using ‘height’ extensions?

$\mathfrak{p}=\mathfrak{t}$, remarkable cardinals, Todorčević and Farah's book "Some applications of the method of forcing"). …
6 votes
0 answers
404 views

Is $2^\mathfrak{m}<2^\mathfrak{n}\Rightarrow\mathfrak{m}<\mathfrak{n}$ equivalent to the axi...

Lindenbaum and Tarski assert in ``Communication sur les recherches de la théorie des ensembles'' without proof that $\mathfrak{p}^\mathfrak{m}<\mathfrak{p}^\mathfrak{n}\wedge\mathfrak{p}\neq0\Rightarrow … This is not difficult to prove, but I do not know whether the statement for $\mathfrak{p}=2$ is also equivalent to the axiom of choice. …
2 votes
0 answers
77 views

When are classes with prescribed reducts "pseudo"-elementary?

Another necessary condition is that $\{0\},\{1\} \in \mathfrak L(H) \subseteq \{\{0\},\{1\}\} \cup \mathfrak P(\mathbb N_{\geq 2})$ . … set $\mathfrak P(\mathbb N)$, while for an element $L \in \mathfrak P(\mathbb N)$, we have $\mathfrak L(L)$ if and only if $L \in \mathfrak L(H)$. …
5 votes
1 answer
356 views

Calculate the $\downarrow$, $\downarrow\uparrow$ and $\uparrow\downarrow$ cofinalities of th...

It is clear that $$\max\{{\uparrow\downarrow}(\mathfrak P),{\downarrow\uparrow}(\mathfrak P)\}\le \min\{{\downarrow}(\mathfrak P),{\uparrow}(\mathfrak P)\}.$$ I would like to know the values of the … Calculate the $\downarrow$-cofinality ${\downarrow}(\mathfrak P)$ of the poset $\mathfrak P$. In particular, is ${\downarrow}(\mathfrak P)=\mathfrak c$? Or ${\downarrow}(\mathfrak P)=\mathfrak d$? …
11 votes
1 answer
627 views

A new cardinal characteristic (related to partitions)?

A family $\mathfrak P$ of partitions of $\omega$ is called directed if for any two partitions $\mathcal A,\mathcal B\in\mathfrak P$ there exists a partition $\mathcal C\in\mathfrak P$ such that each set … An infinite subset $D\subset\omega$ is called $\mathfrak P$-discrete if for any partition $\mathcal P\in\mathfrak P$ there exists a finite set $F\subset D$ such that for any $P\in\mathcal P$ the intersection …
3 votes
0 answers
122 views

The existence of $T$-ultrafilters in ZFC

A partition $\mathcal P$ is called finitary if $\sup_{P\in\mathcal P}|P|$ is finite. Let $\mathfrak P$ is a family of partitions of $\omega$. … An infinite subset $T\subset\omega$ is called $\mathfrak P$-thin if for any partition $\mathcal P\in\mathfrak P$ there exists a finite set $F\subset T$ such that for any $P\in\mathcal P$ the intersection …
3 votes
1 answer
137 views

Is $\mathfrak p=\omega_1$ equivalent to the existence of a Hausdorff gap without infinite ps...

The definition of the small uncountable cardinal $\mathfrak p$ implies that under $\mathfrak p>\omega_1$ each Hausdorff gap has an infinite pseudointersection. … What does happen under $\mathfrak p=\omega_1$? Problem. Is $\mathfrak p=\omega_1$ equivalent to the existence of a Hausdorff gap without infinite pseudointersection? …
2 votes
1 answer
135 views

Compactifications with remainder $[0,\omega_1]$ and convergent sequences

The statement $(\star)$ does not hold under $\omega_1<\mathfrak p$. That is why I am asking only about the consistency of $(\star)$. Remark 2. …
10 votes
0 answers
495 views

Is there a model of set theory in which $\mathfrak p< \mathfrak b < \mathfrak q$?

Is there a model of set theory in which $\mathfrak p< \mathfrak b < \mathfrak q$? … $\min\{\mathfrak b, \mathfrak q \}\in \{\mathfrak p,\mathfrak q \}$ ? …

15 30 50 per page