Logical laws for existential monadic second-order sentences with infinite first-order parts
type: Item
instance of: scholarly article
title: Logical laws for existential monadic second-order sentences with infinite first-order parts
zbMATH Open document ID: 1420.03062
DOI: 10.1134/S1064562417060242
author: M. E. Zhukovskii
author: Michał Gil Sanchez
published in: Doklady Mathematics
publication date: 2018-03-28T00:00:00Z
Mathematics Subject Classification ID: 03C13
Mathematics Subject Classification ID: 05C80
Mathematics Subject Classification ID: 60F20
zbMATH DE Number: 6854410
MaRDI profile type: Publication
cites work: Elements of finite model theory.
cites work: Random graphs: models and asymptotic characteristics
cites work: The strange logic of random graphs
cites work: Random graphs.
cites work: Q4519896
cites work: Probabilities on finite models
cites work: Infinitary logics and 0-1 laws
cites work: On random models of finite power and monadic logic
cites work: The 0-1 law fails for monadic existential second-order logic on undirected graphs
cites work: Threshold spectra via the Ehrenfeucht game
cites work: Zero-one \(k\)-law
cites work: Q4359311
cites work: Spectra of short monadic sentences about sparse random graphs
full work available at URL: s1064562417060242
OpenAlex ID: W2781524456
Recommended article: Logical laws for short existential monadic second-order sentences about graphs
Recommended article: First order quantifiers in monadic second order logic
Recommended article: On the existence of a modal-logical basis for monadic second-order logic
Recommended article: A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS
Recommended article: From finitary to infinitary second‐order logic
Recommended article: Q4449212
Recommended article: Zero-One Laws for Existential First-Order Sentences of Bounded Quantifier Depth
Recommended article: Monadic Second Order Logic And Its Fragments
Recommended article: Q4536345
Recommended article: Second-order propositional modal logic and monadic alternation hierarchies
description: scientific article; zbMATH DE number 6854410