On random models of finite power and monadic logic

Matt Kaufmann, Saharon Shelah

Type: Article

Publication Date: 1985-05-01

Citations: 56

DOI: https://doi.org/10.1016/0012-365x(85)90112-8

View Publication

Locations

Discrete Mathematics - View

Similar Works

Action	Title	Year	Authors
+	Short monadic second order sentences about sparse random graphs	2016	Andrey Kupavskii Maksim Zhukovskii
+	Short monadic second order sentences about sparse random graphs	2016	Andrey Kupavskii Maksim Zhukovskii
+ PDF Chat	Short Monadic Second Order Sentences about Sparse Random Graphs	2018	Andrey Kupavskii Maksim Zhukovskii
+	Countable Models	2001	Joel Spencer
+	Second order logic on random rooted trees	2017	Alexander E. Holroyd Avi Levy Moumanti Podder Joel Spencer
+	Second order logic on random rooted trees	2017	Alexander E. Holroyd Avi Levy Moumanti Podder Joel Spencer
+	Existential monadic second order logic on random rooted trees	2018	Alexander E. Holroyd Avi Levy Moumanti Podder Joel Spencer
+	Convergence and Nonconvergence Laws for Random Expansions of Product Structures	2020	Anuj Dawar Erich Grädel Matthias Hoelzel
+ PDF Chat	Model theoretic events	2024	Kyle Gannon James Hanson
+	Stability, the finite cover property and 0-1 laws	2000	John T. Baldwin
+	Logical limit laws for minor-closed classes of graphs	2014	Peter Heinig Tobias Müller Marc Noy Anusch Taraz
+	Logical limit laws for minor-closed classes of graphs	2014	Peter Heinig Tobias Müller Marc Noy Anusch Taraz
+	Probability and Logic Comments on Colin Howson	2006	Ilkka Niiniluoto
+	Logical limit laws for minor-closed classes of graphs	2018	Peter Heinig Tobias Müller Marc Noy Anusch Taraz
+	First order k variable logic of sparse random graphs	2018	Andriaherimanana Sarobidy Razafimahatratra Maksim Zhukovskii
+ PDF Chat	First order complexity of finite random structures	2024	Danila Demin Maksim Zhukovskii
+ PDF Chat	A disproof of the zero-one law for existential monadic second order properties of sparse binomial random graphs	2019	Alena Egorova Maksim Zhukovskii
+	McColm conjecture	1994	Yuri Gurevich Neil Immerman Saharon Shelah
+	McColm conjecture	1994	Yuri Gurevich Neil Immerman Saharon Shelah
+	Zero–one laws for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" overflow="scroll" id="d1e19" altimg="si6.gif"><mml:mi>k</mml:mi></mml:math>-variable first-order logic of sparse random graphs	2019	Andriaherimanana Sarobidy Razafimahatratra Maksim Zhukovskii

Works That Cite This (25)

Action	Title	Year	Authors
+	Asymptotic probabilities for second-order existential Kahr-Moore-Wang sentences	1997	Anne Vedø
+	Disproof of the Zero–One Law for Existential Monadic Properties of a Sparse Binomial Random Graph	2019	Alena Egorova Maksim Zhukovskii
+	Geometric permutations of disjoint translates of convex sets	1987	Meir Katchalski T. Lewis A. Liu
+	Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false	2018	S. N. Popova Maksim Zhukovskii
+ PDF Chat	MSO 0-1 law for recursive random trees	2021	Yury Malyshkin Maksim Zhukovskii
+	Logical limit laws for minor-closed classes of graphs	2018	Peter Heinig Tobias Müller Marc Noy Anusch Taraz
+ PDF Chat	Nonconvergence, undecidability, and intractability in asymptotic problems	1987	Kevin J. Compton C. Ward Henson Saharon Shelah
+	Logic and Random Structures	2007	Joel Spencer
+	Counting finite models	1997	Alan R. Woods
+	Existential monadic second order convergence law fails on sparse random graphs	2019	Alena Egorova Maksim Zhukovskii

Works Cited by This (1)

Action	Title	Year	Authors
+	Almost sure theories	1980	James F. Lynch