Timeline for Decidability of the Hilbert lattice and quantum logic

7 events

when toggle format	what		by	license	comment
Mar 26, 2018 at 13:27	vote	accept	Iian Smythe
Mar 26, 2018 at 2:50	history	edited	Bjørn Kjos-Hanssen	CC BY-SA 3.0	edited title
Mar 25, 2018 at 19:35	answer	added	Bjørn Kjos-Hanssen		timeline score: 7
Mar 18, 2015 at 18:52	comment	added	Iian Smythe		I think, as in that paper, "quantum logic" is usually used to refer to the equational/quantifier-free theory. It just happens that I am interested in the question about the first-order theory (from which the corresponding fact about the equational theory would follow, of course). A negative result about the first-order theory would be interesting to me, for independent reasons (undecidability of lattices makes me think of the Turing degrees).
Mar 18, 2015 at 18:19	comment	added	anemone		Isn't the logic just the equational theory of the lattice? (It would so appear from the linked paper. They do appeal to its first order theory for the decidability proof, but that's generally an overkill by a couple of orders of magnitude, so to speak.)
Mar 18, 2015 at 15:09	history	edited	Iian Smythe		edited tags
Mar 17, 2015 at 15:19	history	asked	Iian Smythe	CC BY-SA 3.0