Moving quantifiers around
1027
Why is this true? $(\exists x)(P(x) \Rightarrow (\forall y) P(y))$
25213
Analysing the "kind(s) of problem(s) are [ones]/[to be]" construction
35383
Closures in a for loop and lexical environment
113065
Proving equivalences of statements equivalent to AC
93544
Nested Quantifiers true or false
65772
How can I convert an integer into its verbal representation?
155925
Quantifiers "most" vs. "most of"
119888
Is it possible to convert $\forall$ quantifiers to $\exists$ quantifiers without negation?
27104
Confused between Nested Quantifiers
36325
Embedding ordinals in $\mathbb{Q}$
115628
Converting expressions into functions
154165
Is there a better way to define more conventional if...then...else notations?
67490
Restricing domains for universal and existential quantifiers
59368
Convenient string manipulation
15842
Lambda calculus expression reduction
27180
Some improvements to blockquotes
56156
Composition and Onto Functions