Skip to main content

Stack Exchange

Apostolos

Netherlands

top accounts reputation activity subscriptions
Top Questions
Top Answers
26
Do sets, whose power sets have the same cardinality, have the same cardinality?
math.stackexchange.com

16
Prove 7 divides $15^n+6$ with mathematical induction
math.stackexchange.com

15
How to decompose an infinite set into two isomorphic ones without choice?
mathoverflow.net

15
Prove that $\beta \rightarrow \neg \neg \beta$ is a theorem using standard axioms 1,2,3 and MP
math.stackexchange.com

14
Naive set theory question on "="
math.stackexchange.com

13
Proving that for infinite $\kappa$, $|[\kappa]^\lambda|=\kappa^\lambda$
math.stackexchange.com

12
An Exercise in Kunen (A Model for Foundation, Pairing,...)
math.stackexchange.com

12
Cardinality of the infinite sets
math.stackexchange.com

11
Cofinality and its Consequences
math.stackexchange.com

11
Conditions Equivalent to Injectivity
math.stackexchange.com

10
Proof: Cartesian Product of Two Sets is a Set ZF
math.stackexchange.com

9
Logic, set theory, independence proofs, etc
math.stackexchange.com

9
Does $k+\aleph_0=\mathfrak{c}$ imply $k=\mathfrak{c}$ without the Axiom of Choice?
math.stackexchange.com

9
Does $\mathsf{ZFC} + \neg\mathrm{Con}(\mathsf{ZFC})$ suffice as a foundations of mathematics?
math.stackexchange.com

9
How to prove that from "Every infinite cardinal satisfies $a^2=a$" we can prove that $b+c=bc$ for any two infinite cardinals $b,c$?
math.stackexchange.com

9
How do the separation axioms follow from the replacement axioms?
math.stackexchange.com

9
Example of a not recursively enumerable set $A \subseteq \mathbb{N}$
math.stackexchange.com

9
Metalogic: Prove $\{\neg P_1 \to P_2\} \vdash (\neg P_2\to P_1)$ without using the Deduction Theorem
math.stackexchange.com

7
How to remove constant symbols from a first-order theory?
math.stackexchange.com

7
Tarski-Vaught test for $\preceq$ reduction
math.stackexchange.com

7
Question about the order of a Stationary subset of $ \kappa$
math.stackexchange.com

7
proof that union of a sequence of countable sets is countable.
math.stackexchange.com

7
Why is cofinality important? And some help in proving absoluteness for $R(\kappa)$
math.stackexchange.com

7
On the definition of weakly compact cardinals
math.stackexchange.com

7
Does a "backwards" choice function imply the Axiom of Choice?
math.stackexchange.com

7
Is Robinson Arithmetic complete and not-complete?
math.stackexchange.com

6
Finitely axiomatizable theories
math.stackexchange.com

6
Show that an elementary equivalent structure of $\mathbb{R}$ and definable from points is Dedekind complete
math.stackexchange.com

6
With Choice, is any linearly ordered set well-ordered if no subset has order type $\omega^*$?
math.stackexchange.com

6
difference between maximal element and greatest element
math.stackexchange.com

1 2