Hostname: page-component-586b7cd67f-dsjbd Total loading time: 0 Render date: 2024-11-29T21:56:20.684Z Has data issue: false hasContentIssue false

Modular Counting and Substitution of Structures

Published online by Cambridge University Press:  15 February 2005

E. SPECKER
Affiliation:
Eidgenössische Technische Hochschule Zürich, ETH Zentrum, HG, Rämistrasse 101, CH-8092 Zürich (e-mail: [email protected])

Abstract

The aim of this paper is to point to a difference between binary and hyperary structures. The modular counting functions of a class of structures defined by a sentence of second-order monadic logic with equality, based on binary relations, are ultimately periodic. However, this is not the case for sentences based on quaternary relations.

Type
Paper
Copyright
© 2005 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)