Reputation
4,367
Next privilege 5,000 Rep.
Approve tag wiki edits
Badges
4 14 40
Newest
 Necromancer
Impact
~64k people reached

Jul
5
revised Gap in Halmos & Givant's “Logic as Algebra”: undefined $\models$?
added 273 characters in body
Jul
5
comment Gap in Halmos & Givant's “Logic as Algebra”: undefined $\models$?
@DougSpoonwood: ???
Jul
5
comment Gap in Halmos & Givant's “Logic as Algebra”: undefined $\models$?
They have used $\leq$ in multiple senses throughout the book, but the definition for the $\leq$ they use in the passage quoted is the one given on p. 48: for propositions $p$ and $q$, $$p \leq q \quad \text{iff} \quad p \wedge q = p\;.$$
Jul
5
revised Gap in Halmos & Givant's “Logic as Algebra”: undefined $\models$?
deleted 1 characters in body
Jul
5
revised Gap in Halmos & Givant's “Logic as Algebra”: undefined $\models$?
deleted 1 characters in body
Jul
5
revised Gap in Halmos & Givant's “Logic as Algebra”: undefined $\models$?
added 11 characters in body
Jul
5
revised Gap in Halmos & Givant's “Logic as Algebra”: undefined $\models$?
added 11 characters in body
Jul
5
revised Gap in Halmos & Givant's “Logic as Algebra”: undefined $\models$?
added 15 characters in body
Jul
5
answered Gap in Halmos & Givant's “Logic as Algebra”: undefined $\models$?
Jul
5
asked Gap in Halmos & Givant's “Logic as Algebra”: undefined $\models$?
Jul
4
accepted Error in book's definition of open sets in terms of neighborhoods?
Jul
4
comment Example of a module for non-mathematicians
@MattPressland: I like your suggestion; please post it so that I can accept it.
Jul
4
revised Example of a module for non-mathematicians
added 133 characters in body
Jul
4
asked Example of a module for non-mathematicians
Jul
3
revised The “set of all possible worlds”, etc.
added 1 characters in body
Jul
3
revised The “set of all possible worlds”, etc.
added 1307 characters in body; edited title
Jul
3
revised The “set of all possible worlds”, etc.
rolled back to a previous revision
Jul
3
revised The “set of all possible worlds”, etc.
added 188 characters in body
Jul
2
revised The “set of all possible worlds”, etc.
added 90 characters in body
Jul
2
revised The “set of all possible worlds”, etc.
added 62 characters in body