Proving the Exchange Principle in model theory
75225
Exercise $ 3.4.15 $ of David Marker’s “Model Theory”.
3465
Equivalence relations and power sets.
136883
The class of equivalence.
62687
Proving Cardinality of Cosets in Abstract Algebra
91698
Proofs of consistency for two formal systems
5599
Proving an inclusion for the derived group
117479
Mutual set of representatives for left and right cosets: what about infinite groups?
9158
Proving that a propositional theory of any cardinality has an independent set of axioms
98518
Cardinality of equivalence relations on N
31392
Examples and Counterexamples of Relations which Satisfy Certain Properties
94617
Showing Consistency and Completeness implies a unique truth assignment
62484
Proving Hartshorne's Exercise I-1.9 by using exercise I-1.8
52966
Rings, ideals and units-proof
41726
Musical and combinatorial proof
81550
Linking two theorems: on algebraic closure and on minimal splitting field
138298
Learning about Grothendieck's Galois Theory.
96892
Number of Non-isomorphic models of Set Theory