For any uncountable set of formulas in propositional logic, is there is an equivalent and independent set of prositions?
9158
Proving that a propositional theory of any cardinality has an independent set of axioms
2403
Can a countable set contain uncountably many infinite subsets such that the intersection of any two such distinct subsets is finite?
63678
Let $A$ and $B$ be countable sets. Is there any function $f$ such that a certain condition holds for an uncountable number of functions $g$?
43655
Verify is tautology by using logical equivalence
72034
Truth table and the meaning of $\oplus$ in propositional logic
7733
If A is infinite, does there have to exist a subset of A that is equivalent to A?
153440
Is logical implication always determinable from just the given statements?
148028
Are there statements that are undecidable but not provably undecidable
124847
Is the set of surjective functions from $\mathbb{N}$ to $\mathbb{N}$ uncountable?
14121
What is the logic behind uncountable nouns?
4303
Enumerating inside a proposition and inside a proof
50602
Does uncountable summation, with a finite sum, ever occur in mathematics?
75007
How can I prove this relation between the elementary set theory and the elementary logic?
102824
Countable set of truth assignments satisfying set of well formed formulas
122947
What is the cardinality of the set of infinite cardinalities?
5035
Can unprovability unprovable? Is there an $\omega$-fold unprovability?
53399
Proof of the uncountability of reals using the diagonal argument—problem?