SO(∀∃*) Sentences and Their Asymptotic Probabilities

DOI10.1002/1521-3870(200010)46:4%3C435::AID-MALQ435%3E3.0.CO;2-EzbMATH Open0972.03035OpenAlexW1983785197MaRDI QIDQ4521119FDOQ4521119

Authors: Eric Rosen, Jerzy Tyszkiewicz 

Publication date: 25 February 2001

Full work available at URL: https://doi.org/10.1002/1521-3870(200010)46:4%3C435::aid-malq435%3E3.0.co;2-e

Recommendations

• Asymptotic probabilities for second-order existential Kahr-Moore-Wang sentences
• scientific article; zbMATH DE number 65748
• Finitistic proofs of 0-1 laws for fragments of second-order logic
• Infinitary logics and 0-1 laws
• Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview

zbMATH Keywords

finite model theory0-1 lawfragment of second-order logic

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Second- and higher-order model theory (03C85)

Cited In (4)

• Witness quantifiers and 0-1 laws
• Stability, the finite cover property and 0-1 laws
• Zero-one laws: thesauri and parametric conditions
• Title not available (Why is that?)

This page was built for publication: SO(∀∃*) Sentences and Their Asymptotic Probabilities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4521119)