The following pages link to (Q4010359):
Displaying 5 items.
- Zero-one laws for first-order formulas with a bounded quantifier depth (Q656220) (← links)
- Infinitary logics and 0-1 laws (Q1193591) (← links)
- Finitistic proofs of 0-1 laws for fragments of second-order logic (Q1351145) (← links)
- Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview (Q4953235) (← links)
- On 0, 1-laws and asymptotics of definable sets in geometric Fraïssé classes (Q5368838) (← links)