query: Proving Lindenbaum-Tarski is dens
positive_passages.docid: 154832
positive_passages.text: Show that there is always a proposition between two propositions logic
negative_passages.docid: 55257
negative_passages.text: Egoroff's theorem in Royden Fitzpatrick (comparison with lemma 10)
negative_passages.docid: 134588
negative_passages.text: Seeking a direct proof about nested inclusions
negative_passages.docid: 6291
negative_passages.text: Proving something is a linearly independent subset
negative_passages.docid: 35115
negative_passages.text: Questions on how to prove that a set of connectives is NOT functionally complete
negative_passages.docid: 72391
negative_passages.text: linear dependence proof using subsets
negative_passages.docid: 141895
negative_passages.text: Proving that a sequence is monotone
negative_passages.docid: 149266
negative_passages.text: Possible distinct binary tree structures at depth d
negative_passages.docid: 16722
negative_passages.text: Proving Gaussian Integers are countable
negative_passages.docid: 52966
negative_passages.text: Rings, ideals and units-proof
negative_passages.docid: 61635
negative_passages.text: Proving AM-GM with induction
negative_passages.docid: 123626
negative_passages.text: Prove that even $n$ can be partitioned to $\frac n2$ edges
negative_passages.docid: 38286
negative_passages.text: Proving the Cantor Pairing Function Bijective
negative_passages.docid: 146984
negative_passages.text: Prove: Full Rank and a solution os linear system
negative_passages.docid: 50037
negative_passages.text: Proving that kernels of evaluation maps are generated by the $x_i - a_i$
negative_passages.docid: 147934
negative_passages.text: On Tarski-Knaster theorem
negative_passages.docid: 91980
negative_passages.text: Prove that f is one-to-one on D