Random Graph: Stronger logic but with the zero one law
Logic
2021-07-16 v2
Abstract
We find a logic really stronger than first order for the random graph with edge probability but satisfies the 0-1 law. This means that on the one hand it satisfies the 0-1 law, e.g. for the random graph and on the other hand there is a formula such that for no first order do we have: for every random enough the formulas equivalent in it.
Keywords
Cite
@article{arxiv.1511.05383,
title = {Random Graph: Stronger logic but with the zero one law},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:1511.05383},
year = {2021}
}