AUTOMORPHISM PROPERTIES OF STATIONARY-LOGIC

被引：1

作者：

OTTO, M

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1992年 / 57卷 / 01期

关键词：

D O I：

10.2307/2275187

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

By means of an Ehrenfeucht-Mostowski construction we obtain an automorphism theorem for a syntactically characterized class of L(aa)-theories comprising in particular the finitely determinate ones. Examples of L(aa)-theories with only rigid models show this result to be optimal with respect to a classification in terms of prenex quantifier type: Rigidity is seen to hinge on quantification of type ...FOR-ALL...stat... permitting of the parametrization of families of disjoint stationary systems by the elements of the universe.

引用

页码：231 / 237

页数：7

共 50 条

[41] BOUNDEDNESS PROPERTIES OF AUTOMORPHISM GROUPS OF FORMS OF FLAG VARIETIES
Guld, A.
TRANSFORMATION GROUPS, 2020, 25 (04) : 1161 - 1184
[42] Structure of stationary classes of three-value logic functions
Mazurov A.A.
Moscow University Computational Mathematics and Cybernetics, 2013, 37 (2) : 77 - 82
[43] INTERPRETATION OF SECOND-ORDER LOGIC IN AUTOMORPHISM GROUP OF ATOMIC BOOLEAN ALGEBRAS - PRELIMINARY REPORT
RUBIN, M
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (05): : A501 - A501
[44] Logic Aggregators and Their Properties
Dujmovic, Jozo
2017 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2017,
[45] PROPERTIES OF WIRED LOGIC
KAMBAYASHI, Y
MUROGA, S
IEEE TRANSACTIONS ON COMPUTERS, 1986, 35 (06) : 550 - 563
[46] Finiteness properties of automorphism spaces of manifolds with finite fundamental group
Bustamante, Mauricio
Krannich, Manuel
Kupers, Alexander
MATHEMATISCHE ANNALEN, 2024, 388 (04) : 3321 - 3371
[47] JORDAN PROPERTIES OF AUTOMORPHISM GROUPS OF CERTAIN OPEN ALGEBRAIC VARIETIES
TATIANA BANDMAN
YURI G. ZARHIN
Transformation Groups, 2019, 24 : 721 - 739
[48] COMMUTATION PROPERTIES OF AUTOMORPHISM GROUPS AND MAPPINGS OF VON NEUMANN ALGEBRAS
JORGENSEN, PET
JOURNAL OF FUNCTIONAL ANALYSIS, 1979, 34 (01) : 138 - 145
[49] A Study in Stationary: Geometric Properties of Stationary Regions and Regularity of Their Horizons
Costa e Silva, I. P.
LORENTZIAN GEOMETRY AND RELATED TOPICS, GELOMA 2016, 2017, 211 : 51 - 85
[50] On the statistical properties of a stationary process sampled by a stationary point process
Charlot, F.
Rachdi, M.
STATISTICS & PROBABILITY LETTERS, 2008, 78 (04) : 456 - 462

← 1 2 3 4 5 →