Infinitary logics and 0-1 laws
type: Item
instance of: scholarly article
title: Infinitary logics and 0-1 laws
zbMATH Open document ID: 0762.03016
DOI: 10.1016/0890-5401(92)90021-7
author: Phokion G. Kolaitis
author: Moshe Y. Vardi
published in: Information and Computation
publication date: 1992-09-27T00:00:00Z
Mathematics Subject Classification ID: 03C75
Mathematics Subject Classification ID: 03C13
zbMATH DE Number: 64873
zbMATH Keywords: fixpoint logics
zbMATH Keywords: expressive power
MaRDI profile type: Publication
full work available at URL: 0890-5401(92)90021-7
OpenAlex ID: W2063406522
cites work: \(\Sigma_ 1^ 1\)-formulae on finite structures
cites work: Q3204028
cites work: On Moschovakis closure ordinals
cites work: Q3714044
cites work: A zero-one law for logic with a fixed-point operator
cites work: Properties of almost all graphs and complexes
cites work: Q4198785
cites work: Q3682518
cites work: Structure and complexity of relational queries
cites work: Q4918393
cites work: The computational complexity of asymptotic problems. I: Partial orders
cites work: An observation on time-storage trade off
cites work: Second-order and Inductive Definability on Finite Structures
cites work: Q3286850
cites work: Monadic generalized spectra
cites work: Probabilities on finite models
cites work: Q3230355
cites work: Concerning measures in first order calculi
cites work: Q3666827
cites work: Complexity of the first-order theory of almost all finite structures
cites work: Q3758820
cites work: Fixed-point extensions of first-order logic
cites work: Upper and lower bounds for first order expressibility
cites work: Relational queries computable in polynomial time
cites work: Definability with bounded number of bound variables
cites work: Q5666547
cites work: On random models of finite power and monadic logic
cites work: Q3204446
cites work: Q3747761
cites work: K l+1 -Free Graphs: Asymptotic Structure and a 0-1 Law
cites work: Q4010359
cites work: 0-1 laws and decision problems for fragments of second-order logic
cites work: Almost sure theories
cites work: Elementary induction on abstract structures
cites work: Hamiltonian circuits in random graphs
cites work: Threshold spectra via the Ehrenfeucht game
cites work: Zero-One Laws for Sparse Random Graphs
cites work: Q3323918
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: Q5720189
Recommended article: Expressive power of infinitary [0, 1]-valued logics
Recommended article: Q3343977
Recommended article: Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic
Recommended article: On infinitary Gödel logics
Recommended article: Q4395613
Recommended article: Q4893133
Recommended article: Q3984864
Recommended article: Infinitary logic and inductive definability over finite structures
Recommended article: Q4636048
Recommended article: Infinitary logics and abstract elementary classes
description: scientific article; zbMATH DE number 64873