Xodarap
Reputation
2,734
Top tag
Next privilege 3,000 Rep.
 Apr 27 accepted why can't this proof of Löwenheim-Skolem Theorem be shorter? Apr 27 comment why can't this proof of Löwenheim-Skolem Theorem be shorter? @Alex: no, the completeness theorem has been proven. I attached the rest of the proof to the question Apr 27 revised why can't this proof of Löwenheim-Skolem Theorem be shorter? add the rest of the proof Apr 27 comment why can't this proof of Löwenheim-Skolem Theorem be shorter? @Michael: I don't understand; those statements seem identical to me? Apr 27 asked why can't this proof of Löwenheim-Skolem Theorem be shorter? Apr 16 answered Name for a “layered” type of partial order? Apr 16 revised Name for a “layered” type of partial order? And missing parenthesis Apr 15 answered Distributive subgroups lattice Apr 5 answered Is polynomial ring a lattice? Feb 24 answered Propositional logic vs predicate logic: examples? Jan 24 accepted Definition of variables in propositional calculus Jan 24 answered What is a “prime implicent”? Jan 24 asked Definition of variables in propositional calculus Jan 2 accepted Vector spaces as free algebras Jan 1 comment Vector spaces as free algebras I agree that this works, but wouldn't it also work for e.g. $X =\emptyset$? How am I supposed to know from the question what $X$ should be? Is $X$ supposed to be the free generators of $R$? Jan 1 asked Vector spaces as free algebras Nov 25 comment If $(f \circ g)(x) = x$, and $(g \circ f)(x) = x$, then $g$ is the inverse of $f$. How do you define "inverse"? Oct 15 awarded Yearling Oct 13 answered How to show that V=W+{v in V | =0 for all w in W}, where W is a subspace of V? Oct 9 awarded Popular Question