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 条
  • [41] Preparation and structures of the La1-xKxCo1-xNbxO3 (x=0-1) system
    Huang, Tzu-Wei
    Chang, Yee-Shin
    Chen, Guo-Ju
    Chang, Yen-Hwei
    JOURNAL OF ALLOYS AND COMPOUNDS, 2007, 430 (1-2) : 205 - 211
  • [42] Fractional 0-1 programming and submodularity
    Han, Shaoning
    Gomez, Andres
    Prokopyev, Oleg A.
    JOURNAL OF GLOBAL OPTIMIZATION, 2022, 84 (01) : 77 - 93
  • [43] Reliability of the 0-1 test for chaos
    Hu, J
    Tung, WW
    Gao, JB
    Cao, YH
    PHYSICAL REVIEW E, 2005, 72 (05):
  • [44] 0-1 Multiband Robust Optimization
    Buesing, Christina
    D'Andreagiovanni, Fabio
    Raymond, Annie
    OPERATIONS RESEARCH PROCEEDINGS 2013, 2014, : 89 - +
  • [45] A NOTE ON 0-1 SCHUR MULTIPLIERS
    LIVSHITS, L
    LINEAR ALGEBRA AND ITS APPLICATIONS, 1995, 222 : 15 - 22
  • [46] The stable index of 0-1 matrices
    Chen, Zhibing
    Huang, Zejun
    Yan, Jingru
    LINEAR ALGEBRA AND ITS APPLICATIONS, 2020, 600 : 148 - 160
  • [47] On the Implementation of the 0-1 Test for Chaos
    Gottwald, Georg A.
    Melbourne, Ian
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, 2009, 8 (01): : 129 - 145
  • [48] EXPERIMENTS IN QUADRATIC 0-1 PROGRAMMING
    BARAHONA, F
    JUNGER, M
    REINELT, G
    MATHEMATICAL PROGRAMMING, 1989, 44 (02) : 127 - 137
  • [49] 0-1运输型问题
    尉继英
    数值计算与计算机应用, 1992, (02) : 119 - 130
  • [50] 0-1 OPTIMIZATION AND NONLINEAR PROGRAMMING
    ROSENBERG, IG
    REVUE FRANCAISE D AUTOMATIQUE INFORMATIQUE RECHERCHE OPERATIONNELLE, 1972, 6 (12): : 95 - 97
12345