Abstract
Let α ∈ (0, 1)ℝ be irrational and Gn = Gn,1/nα be the random graph with edge probability 1/nα; we know that it satisfies the 0-1 law for first order logic. We deal with the failure of the 0-1 law for stronger logics: (Formula presented.), k a large enough natural number and the inductive logic.
Original language | English |
---|---|
Title of host publication | Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday |
Editors | Andreas Blass, Bernd Finkbeiner, Nachum Dershowitz, Wolfram Schulte, Lev D. Beklemishev |
Publisher | Springer Verlag |
Pages | 293-296 |
Number of pages | 4 |
ISBN (Print) | 9783319235332 |
DOIs | |
State | Published - 2015 |
Event | Symposium on Yurifest, 2015 - Berlin, Germany Duration: 11 Sep 2015 → 12 Sep 2015 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 9300 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | Symposium on Yurifest, 2015 |
---|---|
Country/Territory | Germany |
City | Berlin |
Period | 11/09/15 → 12/09/15 |
Bibliographical note
Publisher Copyright:© Springer International Publishing Switzerland 2015.
Keywords
- Finite model theory
- Inductive logic
- Infinitary logic on finite structures
- Random graphs
- Zero-one laws