Pages that link to "Item:Q3747760"
From MaRDI portal
The following pages link to A zero-one law for logic with a fixed-point operator (Q3747760):
Displayed 20 items.
- Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA (Q631077) (← links)
- On the expressive power of counting (Q672336) (← links)
- Finite-model theory -- A personal perspective (Q688663) (← links)
- 0-1 laws and decision problems for fragments of second-order logic (Q920075) (← links)
- When is arithmetic possible? (Q922533) (← links)
- Fixed-point extensions of first-order logic (Q1090327) (← 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)
- Listing graphs that satisfy first-order sentences (Q1337473) (← links)
- The Kolmogorov expressive power of Boolean query languages (Q1389450) (← links)
- Asymptotic probabilities of existential second-order Gödel sentences (Q3984420) (← links)
- Zero-one law for an extension of first-order predicate language (Q4007485) (← links)
- Finite Variable Logics in Descriptive Complexity Theory (Q4254565) (← links)
- Counting finite models (Q4372920) (← links)
- Strong extension axioms and Shelah's zero-one law for choiceless polynomial time (Q4457727) (← links)
- (Q5013886) (← links)
- Convergence and Nonconvergence Laws for Random Expansions of Product Structures (Q5049045) (← links)
- Infinitary logic for computer science (Q5204339) (← links)
- An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions (Q6063870) (← links)