On failure of 0-1 laws

Saharon Shelah*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations

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 languageEnglish
Title of host publicationFields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
EditorsAndreas Blass, Bernd Finkbeiner, Nachum Dershowitz, Wolfram Schulte, Lev D. Beklemishev
PublisherSpringer Verlag
Pages293-296
Number of pages4
ISBN (Print)9783319235332
DOIs
StatePublished - 2015
EventSymposium on Yurifest, 2015 - Berlin, Germany
Duration: 11 Sep 201512 Sep 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9300
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceSymposium on Yurifest, 2015
Country/TerritoryGermany
CityBerlin
Period11/09/1512/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

Fingerprint

Dive into the research topics of 'On failure of 0-1 laws'. Together they form a unique fingerprint.

Cite this