Typical automorphism groups of finite nonrigid structures

被引：2

作者：

Koponen, Vera ^{[1
]}

机构：

[1] Uppsala Univ, Dept Math, S-75106 Uppsala, Sweden

来源：

ARCHIVE FOR MATHEMATICAL LOGIC | 2015年 / 54卷 / 5-6期

关键词：

Finite model theory; Limit law; Random structure; Automorphism group;

D O I：

10.1007/s00153-015-0428-9

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We work with a finite relational vocabulary with at least one relation symbol with arity at least 2. Fix any integer m > 1. For almost all finite structures (labelled or unlabelled) such that at least m elements are moved by some automorphisms, the automorphism group is for some ; and if some relation symbol has arity at least 3, then the automorphism group is almost always .

引用

页码：571 / 586

页数：16

共 9 条

[1] Limit laws and automorphism groups of random nonrigid structures [J].

Ahlman, Ove ;

Koponen, Vera .

JOURNAL OF LOGIC AND ANALYSIS, 2015, 7

[2]

Dixon J.D., 1996, Grad. Texts in Math., V163

[3]

Ebbinghaus Heinz-Dieter, 1999, Finite Model Theory: Perspectives in Mathematical Logic

[4]

Erdos P., 1963, Acta Mathematica Hungarica, V14, P295, DOI DOI 10.1007/BF01895716

[5] NUMBER OF FINITE RELATIONAL STRUCTURES [J].

FAGIN, R .

DISCRETE MATHEMATICS, 1977, 19 (01) :17-21

[6] COMBINATORIAL PROBLEMS IN THE THEORY OF GRAPHS .4. [J].

FORD, GW ;

UHLENBECK, GE .

PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1957, 43 (01) :163-167

[7]

Harary F, 1958, J SYMBOLIC LOGIC, V23, P257

[8]

Oberschelp W, 1968, CONTRIBUTIONS MATH L, P199

[9]

ROTHMALER P., 2000, INTRO MODEL THEORY

← 1 →