Article ID Journal Published Year Pages File Type
10118911 Annals of Pure and Applied Logic 2005 29 Pages PDF
Abstract
We construct and study structures imitating the field of complex numbers with exponentiation. We give a natural, albeit non first-order, axiomatisation for the corresponding class of structures and prove that the class has a unique model in every uncountable cardinality. This gives grounds to conjecture that the unique model of cardinality continuum is isomorphic to the field of complex numbers with exponentiation.
Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
,