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 条

[21] A RECURSIVE PROCEDURE TO GENERATE ALL CUTS FOR 0-1 MIXED INTEGER PROGRAMS
NEMHAUSER, GL
WOLSEY, LA
MATHEMATICAL PROGRAMMING, 1990, 46 (03) : 379 - 390
[22] 0-1 constraints satisfaction through recursive neural networks with mixed penalties
Herault, L
Privault, C
IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE, 1998, : 1398 - 1403
[23] On the 0-1 matrices whose squares are 0-1 matrices
Wu, Honglin
LINEAR ALGEBRA AND ITS APPLICATIONS, 2010, 432 (11) : 2909 - 2924
[24] Fragments of existential second-order logic without 0-1 laws
Le Bars, JM
THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 525 - 536
[25] Finitistic proofs of 0-1 laws for fragments of second-order logic
Lacoste, T
INFORMATION PROCESSING LETTERS, 1996, 58 (01) : 1 - 4
[26] 0-1>0的收获
龚懿
现代交际, 2002, (06) : 43 - 43
[27] CONVERTING 0-1 POLYNOMIAL PROGRAMMING PROBLEM TO A 0-1 LINEAR PROGRAM
GLOVER, F
WOOLSEY, E
OPERATIONS RESEARCH, 1974, 22 (01) : 180 - 182
[28] 0-1 matrices with zero trace whose squares are 0-1 matrices
Huang, Zejun
Lyu, Zhenhua
LINEAR ALGEBRA AND ITS APPLICATIONS, 2019, 565 : 156 - 176
[29] Predicting helical structures of the exopolysaccharide produced by Lactobacillus sake 0-1
Robijn, GW
Imberty, A
vandenBerg, DJC
Ledeboer, AM
Kamerling, JP
Vliegenthart, JFG
Perez, S
CARBOHYDRATE RESEARCH, 1996, 288 : 57 - 74
[30] Brownian motion with variable drift: 0-1 laws, hitting probabilities and Hausdorff dimension
Peres, Yuval
Sousi, Perla
MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 2012, 153 : 215 - 234

← 1 2 3 4 5 →