Pages that link to "Item:Q1066878"
From MaRDI portal
The following pages link to On random models of finite power and monadic logic (Q1066878):
Displaying 25 items.
- Finite-model theory -- A personal perspective (Q688663) (← links)
- A uniform method for proving lower bounds on the computational complexity of logical theories (Q917543) (← links)
- 0-1 laws and decision problems for fragments of second-order logic (Q920075) (← links)
- Nonconvergence, undecidability, and intractability in asymptotic problems (Q1095135) (← links)
- The computational complexity of asymptotic problems. I: Partial orders (Q1115860) (← links)
- Infinitary logics and 0-1 laws (Q1193591) (← links)
- The 0-1 law fails for monadic existential second-order logic on undirected graphs (Q1607080) (← links)
- Logical laws for existential monadic second-order sentences with infinite first-order parts (Q1707156) (← links)
- Existential monadic second order logic of undirected graphs: the Le Bars conjecture is false (Q1715478) (← links)
- A disproof the Le Bars conjecture about the zero-one law for existential monadic second-order sentences (Q1732077) (← links)
- Logical limit laws for minor-closed classes of graphs (Q1745738) (← links)
- Existential monadic second order convergence law fails on sparse random graphs (Q2011137) (← links)
- MSO 0-1 law for recursive random trees (Q2244503) (← links)
- Disproof of the zero-one law for existential monadic properties of a sparse binomial random graph (Q2424392) (← links)
- Almost Everywhere Equivalence of Logics in Finite Model Theory (Q3128483) (← links)
- Application of a Tauberian theorem to finite model theory (Q3753986) (← links)
- Zero-One Laws for Sparse Random Graphs (Q3791190) (← links)
- Asymptotic probabilities of existential second-order Gödel sentences (Q3984420) (← links)
- Counting finite models (Q4372920) (← links)
- Probabilities in first—order logic of a unary function and a binary relation (Q4697808) (← links)
- Convergence in homogeneous random graphs (Q4845076) (← links)
- Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview (Q4953235) (← links)
- EMSO(FO$^2$) 0-1 Law Fails for All Dense Random Graphs (Q5096587) (← links)
- Logical laws for short existential monadic second-order sentences about graphs (Q5118048) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)
