|
Organizers |
Algebraic aspects of the back and forth method
by
Janusz Czelakowski
Institute of Mathematics and Informatics, University of Opole, Poland
Constructions based on the order-oriented fixed-point theory are presented with the purpose of providing a general, abstract framework for the so called back and forth method. This method dates back to the proof of the famous Cantor's theorem stating that any two countable linear dense orders without endpoints are isomorphic. In a systematic way the back and forth method was developed by Fraisse, Ehrenfeucht and others. A plausible and general abstract formulation of this method formulated in terms of the theory of reflexive points for ordered Kripke frames is presented.
Date received: May 14, 2007
Copyright © 2007 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caug-55.