Reputation
14,258
Next privilege 15,000 Rep.
Protect questions
Badges
6 28 94
Newest
 Revival
Impact
~174k people reached

19h
revised $\epsilon_0$ is closed under addition, multiplication, exponentiation of ordinals
added 4 characters in body; edited title
19h
answered Prove that L is a sub-language of the CFG G by using induction. (CFG,Induction,School)
Apr
30
comment How many ternary functionally complete connectives are there?
@JMarcos Thanks! That answers the question for all $n$: the number is $2^{2^n-2}-2^{2^{n-1}}$. Could you distil the two-sentence analysis given there into an answer with proof (given Post's result)?
Apr
28
revised How many ternary functionally complete connectives are there?
added 273 characters in body
Apr
24
comment How many ternary functionally complete connectives are there?
@user21820 Minority is self-dual.
Apr
23
awarded  Revival
Apr
23
comment Does “the functions agree at infinity” mean anything?
-1 I think you'll find that posting your very first thought accompanied by a quick and superfluous definition as an image will not fare well on Maths.SE.
Apr
23
reviewed Looks OK A String Tied Around The Earth
Apr
23
asked How many ternary functionally complete connectives are there?
Apr
23
revised Quotient of Ideals in the ring of integers
added 13 characters in body; edited title
Apr
23
answered Quotient of Ideals in the ring of integers
Apr
23
revised Prove set relations without using Venn Diagrams
edited tags
Apr
15
revised Proof of validity of tautology in first order logic
added 19 characters in body
Apr
15
awarded  Revival
Apr
14
awarded  Revival
Apr
14
revised Validity of $\exists x \forall y: x \le y$ in set of integers and set of natural numbers
edited tags; edited title
Apr
14
answered Validity of $\exists x \forall y: x \le y$ in set of integers and set of natural numbers
Apr
12
answered Proof of validity of tautology in first order logic
Apr
10
revised Is $\mathbb{Q}\times\mathbb{Q}$ dense in $\mathbb{R}\times\mathbb{R}$?
added 2 characters in body
Apr
10
revised Cardinality of binary sequences with finitely many 1s
edited title