Hostname: page-component-74656f9884-8r8nv Total loading time: 0 Render date: 2026-11-09T05:15:26.289Z Has data issue: false hasContentIssue false
  • English
  • Français

Modular Counting and Substitution of Structures

Published online by Cambridge University Press:  15 February 2005

E. SPECKER
E. SPECKER
Affiliation:
Eidgenössische Technische Hochschule Zürich, ETH Zentrum, HG, Rämistrasse 101, CH-8092 Zürich (e-mail: specker@math.ethz.ch)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

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.

Information

Type
Paper
Information
Combinatorics, Probability and Computing , Volume 14 , Issue 1-2 , January 2005 , pp. 203 - 210
Copyright
© 2005 Cambridge University Press