Infinity axioms with one function symbol
101163
Does there exist a universal formula of first-order logic that is satisfiable only by structures with infinite domains?
137564
What exactly is meant by infinity?
142840
Open axioms of equality
19924
Uncountable ordinals without power set axiom
36248
A classical problem about limit of continuous function at infinity and its connection with Baire Category Theorem
140662
Powers of infinite cardinals in the generic extension
59820
ZF Extensionality axiom
33563
Is the axiom of choice used in the proof that every open set is the union of basis elements (Mukres, Lemma 13.1)
150385
The use of the Axiom of Choice in this proof of the sequence lemma
41783
Cardinality of the Cartesian Product of Two Equinumerous Infinite Sets
21202
Axiom of choice is equivalent to every relation includes a function with the same domain
65308
Axiom of Choice: Family of non-empty sets mutually disjoint or not?
108922
Cardinality and infinite sets: naturals, integers, rationals, bijections
58631
Continuity and the Axiom of Choice
132287
Axiom of Choice and Right Inverse
12449
How to formulate continuum hypothesis without the axiom of choice?
10181
Entire one-to-one functions are linear