Reputation
2,734
Top tag
Next privilege 3,000 Rep.
Cast close & reopen votes
Badges
10 31
Newest
 Yearling
Impact
~48k people reached

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 | <v,w>=0 for all w in W}, where W is a subspace of V?
Oct
9
awarded  Popular Question