Finitistic proofs of 0-1 laws for fragments of second-order logic
type: Item
instance of: scholarly article
title: Finitistic proofs of 0-1 laws for fragments of second-order logic
zbMATH Open document ID: 0875.68791
DOI: 10.1016/0020-0190(96)00035-X
author: Thierry Lacoste
published in: Information Processing Letters
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68R05
zbMATH DE Number: 984285
zbMATH Keywords: Combinatorial problems
zbMATH Keywords: Finitistic methods
zbMATH Keywords: Asymptotic probabilities in logic
MaRDI profile type: Publication
cites work: Probabilities on finite models
cites work: 0-1 laws and decision problems for fragments of second-order logic
cites work: Q4010359
Recommended article: Q4010359
Recommended article: 0-1 laws and decision problems for fragments of second-order logic
Recommended article: Q4536345
Recommended article: Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview
Recommended article: On fragments of higher order logics that on finite structures collapse to second order
Recommended article: From finitary to infinitary second‐order logic
Recommended article: Lindstrom theorems for fragments of first-order logic
Recommended article: Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic
Recommended article: Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
Recommended article: A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
description: scientific article; zbMATH DE number 984285