Technical Report TR-ARP-10-95

Automated Reasoning Project

Research School of Information Sciences and Engineering

and Centre for Information Science Research

Australian National University

February 27, 1996

A Non-Standard Injection Between Canonical Frames

Timothy J. Surendonk

Abstract In this paper the ultra?lter properties of canonical frames are used to produce a non-standard map between canonical frames of different cardinalities. While this map is not a p-morphism, it is presented as a step towards the full understanding of canonical structures.