Timeline for When can we force two frames to be homeomorphic?

7 events

when toggle format	what		by	license	comment
Nov 25, 2017 at 21:37	history	edited	Joseph Van Name	CC BY-SA 3.0	added 49 characters in body
Nov 25, 2017 at 20:58	history	edited	Joseph Van Name	CC BY-SA 3.0	added 499 characters in body
Nov 25, 2017 at 20:57	comment	added	Todd Trimble		A frame is a complete lattice in which finite meets distribute over arbitrary joins. A morphism of frames is a poset map map that preserves finite meets and arbitrary joins.
Nov 25, 2017 at 20:50	history	edited	Joseph Van Name	CC BY-SA 3.0	added 499 characters in body
Nov 25, 2017 at 20:42	comment	added	Joel David Hamkins		What do you mean by "frame" in this question?
Nov 25, 2017 at 20:42	comment	added	Joel David Hamkins		One might mention that in the structure case, two structures are forceably isomorphic if and only if they are isomorphic in the forcing extension in which they both become countable. So one doesn't need to guess which forcing notion might do it. Another thing is that there is also a game-theoretic characterization: structures $A$ and $B$ are isomorphic in a forcing extension if and only if player II has a winning strategy in the game to build a partial isomorphism (like a pebble game), where player I challenges with new points in the domain or range and player II plays corresponding points.
Nov 25, 2017 at 19:43	history	asked	Joseph Van Name	CC BY-SA 3.0