Infinitary logics and 0-1 laws (Q1193591): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0890-5401(92)90021-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2063406522
@@ Property / OpenAlex ID: W2063406522 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Sigma_ 1^ 1\)-formulae on finite structures
@@ Property / cites work: \(\Sigma_ 1^ 1\)-formulae on finite structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204028
@@ Property / cites work: Q3204028 / rank @@
+Normal rank
@@ Property / cites work @@
+On Moschovakis closure ordinals
@@ Property / cites work: On Moschovakis closure ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714044
@@ Property / cites work: Q3714044 / rank @@
+Normal rank
@@ Property / cites work @@
+A zero-one law for logic with a fixed-point operator
+Normal rank
@@ Property / cites work @@
+Properties of almost all graphs and complexes
@@ Property / cites work: Properties of almost all graphs and complexes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198785
@@ Property / cites work: Q4198785 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682518
@@ Property / cites work: Q3682518 / rank @@
+Normal rank
@@ Property / cites work @@
+Structure and complexity of relational queries
@@ Property / cites work: Structure and complexity of relational queries / rank @@
+Normal rank
@@ Property / cites work @@
+Q4918393
@@ Property / cites work: Q4918393 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of asymptotic problems. I: Partial orders
+Normal rank
@@ Property / cites work @@
+An observation on time-storage trade off
@@ Property / cites work: An observation on time-storage trade off / rank @@
+Normal rank
@@ Property / cites work @@
+Second-order and Inductive Definability on Finite Structures
+Normal rank
@@ Property / cites work @@
+Q3286850
@@ Property / cites work: Q3286850 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic generalized spectra
@@ Property / cites work: Monadic generalized spectra / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilities on finite models
@@ Property / cites work: Probabilities on finite models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3230355
@@ Property / cites work: Q3230355 / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning measures in first order calculi
@@ Property / cites work: Concerning measures in first order calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666827
@@ Property / cites work: Q3666827 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of the first-order theory of almost all finite structures
+Normal rank
@@ Property / cites work @@
+Q3758820
@@ Property / cites work: Q3758820 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point extensions of first-order logic
@@ Property / cites work: Fixed-point extensions of first-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Upper and lower bounds for first order expressibility
+Normal rank
@@ Property / cites work @@
+Relational queries computable in polynomial time
@@ Property / cites work: Relational queries computable in polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Definability with bounded number of bound variables
+Normal rank
@@ Property / cites work @@
+Q5666547
@@ Property / cites work: Q5666547 / rank @@
+Normal rank
@@ Property / cites work @@
+On random models of finite power and monadic logic
+Normal rank
@@ Property / cites work @@
+Q3204446
@@ Property / cites work: Q3204446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3747761
@@ Property / cites work: Q3747761 / rank @@
+Normal rank
@@ Property / cites work @@
+K l+1 -Free Graphs: Asymptotic Structure and a 0-1 Law
+Normal rank
@@ Property / cites work @@
+Q4010359
@@ Property / cites work: Q4010359 / rank @@
+Normal rank
@@ Property / cites work @@
+-1 laws and decision problems for fragments of second-order logic
+Normal rank
@@ Property / cites work @@
+Almost sure theories
@@ Property / cites work: Almost sure theories / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Hamiltonian circuits in random graphs
@@ Property / cites work: Hamiltonian circuits in random graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Threshold spectra via the Ehrenfeucht game
@@ Property / cites work: Threshold spectra via the Ehrenfeucht game / rank @@
+Normal rank
@@ Property / cites work @@
+Zero-One Laws for Sparse Random Graphs
@@ Property / cites work: Zero-One Laws for Sparse Random Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3323918
@@ Property / cites work: Q3323918 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q5720189
@@ Property / cites work: Q5720189 / rank @@
+Normal rank