Equivalence of universal condition and existential condition on factoring termination in intergral domain
89970
Example of FD not satisfying ACCP
27600
Gödel's (in)completeness theorems and the axiomatization of Euclidean geometry
27058
Construction of Ultrafilters
29744
Compactness and axiomatisability
100303
A necessary and sufficient condition for $A\cap(B+C)=(A\cap B)+C$ to hold for submodules
87451
Construction of matrices under ZFC axioms
61635
Proving AM-GM with induction
33164
Formal basis for variable substitution in limits
106799
Proof Verification: Converse of Intermediate Value Theorem
17267
Interchanging the order of differentiation and summation
136284
Orderless pattern matching
64786
How can I linearize the IFF-THEN constraint with binary and continuous variable?
55764
Algebraic closure of $\mathbb F_p$
81550
Linking two theorems: on algebraic closure and on minimal splitting field
91698
Proofs of consistency for two formal systems
109649
idempotents acting as local identities
105686
Time-ordered operator in Srednicki