Comparing Classes of Finite Structures

dc.creatorCalvert, Wesley
dc.creatorCummins, Desmond
dc.creatorMiller, Sara
dc.creatorKnight, Julia F.
dc.date2008-03-22
dc.date.accessioned2026-07-07T09:28:02Z
dc.date.available2026-07-07T09:28:02Z
dc.descriptionWe introduce a reducibility on classes of structures, essentially a uniform enumeration reducibility. This reducibility is inspired by the Friedman-Stanley paper on using Borel reductions to compare classes of countable structures. This reducibility is calibrated by comparing several classes of structures. The class of cyclic graphs and the class of finite prime fields are equivalent, and are properly below the class of arbitrary finite graphs. The class of finite graphs and the class of finite linear orders are maximal among all classes of finite structures. We also prove some general characterizations of reducibility to certain classes. Examples of large chains and antichains of classes are constructed.
dc.identifierhttps://arxiv.org/abs/0803.3291
dc.identifierhttp://arxiv.org/abs/0803.3291
dc.identifierAlgebra and Logic 43 (2004), 374--392
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/157312
dc.subjectLogic
dc.subject03D45; 03C57
dc.titleComparing Classes of Finite Structures
dc.typetext

Files

Collections