0-1 laws for recursive structures

被引：1
|
作者：
Grädel, E [1 ]
Malmström, A [1 ]
机构：
[1] Rhein Westfal TH Aachen, Math Grundlagen Informat, D-52062 Aachen, Germany
来源：
ARCHIVE FOR MATHEMATICAL LOGIC | 1999年 / 38卷 / 4-5期
关键词：
D O I：
10.1007/s001530050125
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We discuss resource-bounded measures on the class of recursive structures and prove that with respect to such measures a random recursive structure is almost surely isomorphic to the unique countable model of the extension axioms.
引用
收藏
页码：205 / 215
页数：11
相关论文
共 50 条
  • [1] 0-1 laws for recursive structures
    E. Grädel
    A. Malmström
    Archive for Mathematical Logic, 1999, 38 : 205 - 215
  • [2] UNIFORM DEFINABILITY AND 0-1 LAWS ON FINITE STRUCTURES
    KOLAITIS, PG
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 847 - 847
  • [3] AN EXTENSION OF 0-1 LAWS
    LYNCH, JF
    RANDOM STRUCTURES & ALGORITHMS, 1994, 5 (01) : 155 - 172
  • [4] 0-1 laws by preservation
    Lacoste, T
    THEORETICAL COMPUTER SCIENCE, 1997, 184 (1-2) : 237 - 245
  • [5] 0-1 laws for maps
    Bender, EA
    Compton, KJ
    Richmond, LB
    RANDOM STRUCTURES & ALGORITHMS, 1999, 14 (03) : 215 - 237
  • [6] On Failure of 0-1 Laws
    Shelah, Saharon
    FIELDS OF LOGIC AND COMPUTATION II: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 75TH BIRTHDAY, 2015, 9300 : 293 - 296
  • [7] ASYMPTOTIC 0-1 LAWS IN COMBINATORICS
    OBERSCHELP, W
    LECTURE NOTES IN MATHEMATICS, 1982, 969 : 276 - 292
  • [8] INFINITARY LOGICS AND 0-1 LAWS
    KOLAITIS, PG
    VARDI, MY
    INFORMATION AND COMPUTATION, 1992, 98 (02) : 258 - 294
  • [9] Sufficient conditions for labelled 0-1 laws
    Burris, Stanley
    Yeats, Karen
    DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 2008, 10 (01): : 147 - 156
  • [10] 0-1 laws for regular conditional distributions
    Berti, Patrizia
    Rigo, Pietro
    ANNALS OF PROBABILITY, 2007, 35 (02): : 649 - 662
12345