Erich Grädel, Anders Malmström  Home/Search
Context
Related
| informatik.rwthaachen.d...recursive.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: i7.informatik.rwt...bibTeXEntries (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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. 1 Introduction An interesting branch of model theory is the study of 0-1 laws. A class of structures on which a probability measure has been defined has a 0-1 law for a particular logic if the class of models of every sentence in this logic has measure 0 or 1. In ... (Update)
Active bibliography (related documents): More All
0.5: 0-1 Laws for Recursive Structures - Grädel, Malmström (Correct)
0.2: More about Recursive Structures: Descriptive Complexity and.. - Hirst, Harel (1996) (Correct)
0.2: Towards a Theory of Recursive Structures - Harel (1998) (Correct)
Similar documents based on text: More All
0.2: Approximable Minimization Problems and Optimal Solutions on.. - Grädel, Malmström (1993) (Correct)
0.2: Log-Approximable Minimization Problems on - Random Inputs Anders (Correct)
0.1: Log-Approximable Minimization Problems on Random Inputs - Malmström (Correct)
BibTeX entry: (Update)
@misc{ del-laws,
author = "Erich Grädel and Anders Malmström",
title = "0-1 Laws for Recursive Structures",
url = "citeseer.ist.psu.edu/352135.html" }
Citations (may not include all citations):142 Almost everywhere high nonuniform complexity - Lutz - 1992
81 Probabilities on finite models (context) - Fagin - 1976
49 Range and degree of realizability of formulas in the restric.. (context) - Glebskii, Kogan et al. - 1969
47 Zufalligkeit und Wahrscheinlichkeit (context) - Schnorr - 1971
31 laws in logic and combinatorics (context) - Compton - 1988
31 Concerning measures in first-order calculi (context) - Gaifman - 1964
14 Contributions to the Study of Resource-Bounded Measure - Mayordomo - 1994
7 More about Recursive Structures: Descriptive Complexity and .. - Hirst, Harel - 1996
5 Hamiltonian Paths in Infinite Graphs - Harel - 1991
Documents on the same site (http://www-i7.informatik.rwth-aachen.de/WWW/bibTeXEntries.html): More
A Counterexample to the 0-1 Law for Existential Monadic.. - Kaufmann (1988) (Correct)
On Preservation Theorems for Two-Variable Logic - Grädel, Rosen (1999) (Correct)
Queries and Algorithms Computable by Polynomial Time.. - Tyszkiewicz (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC