Finite-model theory -- A personal perspective (Q688663): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(\Sigma_ 1^ 1\)-formulae on finite structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reachability is harder for directed than for undirected finite graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monotone versus positive / rank
 
Normal rank
Property / cites work
 
Property / cites work: Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3714043 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Expectations for Inbreeding Depression on Self-Fertilization of Tetraploids / rank
 
Normal rank
Property / cites work
 
Property / cites work: A zero-one law for logic with a fixed-point operator / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relativizing Time, Space, and Time-Space / rank
 
Normal rank
Property / cites work
 
Property / cites work: Structure and complexity of relational queries / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model theory. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3235339 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A logical approach to asymptotic combinatorics I. First order properties / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Deductive System for Existential Least Fixpoint Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nonconvergence, undecidability, and intractability in asymptotic problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of theorem-proving procedures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4134974 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4107930 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3905252 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Paths, Trees, and Flowers / rank
 
Normal rank
Property / cites work
 
Property / cites work: An application of games to the completeness problem for formalized theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4052071 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Asymmetric graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4065548 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4058132 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monadic generalized spectra / rank
 
Normal rank
Property / cites work
 
Property / cites work: A spectrum hierarchy / rank
 
Normal rank
Property / cites work
 
Property / cites work: A two‐cardinal characterization of double spectra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Probabilities on finite models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Horn clauses and database dependencies / rank
 
Normal rank
Property / cites work
 
Property / cites work: On monadic NP vs monadic co-NP / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4728289 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Course of mathematical logic. Vol. 1: Relation and logical formula. Translation edited by David Louvish / rank
 
Normal rank
Property / cites work
 
Property / cites work: Concerning measures in first order calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4198056 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some simplified NP-complete graph problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Gödel class with identity is unsolvable / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity of the first-order theory of almost all finite structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: The decision problem for standard classes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3758820 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fixed-point extensions of first-order logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4124353 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4166743 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sparse sets in NP-P: EXPTIME versus NEXPTIME / rank
 
Normal rank
Property / cites work
 
Property / cites work: Number of quantifiers is better than number of tape cells / rank
 
Normal rank
Property / cites work
 
Property / cites work: Upper and lower bounds for first order expressibility / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relational queries computable in polynomial time / rank
 
Normal rank
Property / cites work
 
Property / cites work: Languages that Capture Complexity Classes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nondeterministic Space is Closed under Complementation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3830533 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Turing machines and the spectra of first-order formulas / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homogeneous Universal Relational Systems. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4142699 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On random models of finite power and monadic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: 0-1 laws and decision problems for fragments of second-order logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4071737 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3856727 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Almost sure theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Probabilities of First-Order Sentences about Unary Functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3668890 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universal graphs and universal functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relationships between nondeterministic and deterministic tape complexities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Classification theory and the number of non-isomorphic models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Zero-One Laws for Sparse Random Graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5537599 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The method of forced enumeration for nondeterministic automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: A counterexample to a conjecture of Scott and Suppes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3970879 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5833217 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5797034 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the definability of properties of finite graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relative complexity of checking and evaluating / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sentences true in all constructive models / rank
 
Normal rank

Latest revision as of 10:26, 22 May 2024

scientific article
Language Label Description Also known as
English
Finite-model theory -- A personal perspective
scientific article

    Statements

    Finite-model theory -- A personal perspective (English)
    0 references
    0 references
    5 June 1994
    0 references
    This clearly written expository paper surveys finite-model theory, the model theory of finite structures. The author -- a pioneer of finite- model theory -- focuses on results and problems springing from work in his Ph.D. thesis, thereby covering most of the main issues on finite- model theory. Among the topics discussed are: Spectra and generalized spectra, zero-one-laws and descriptive complexity theory.
    0 references
    expository paper
    0 references
    finite-model theory
    0 references
    generalized spectra
    0 references
    zero-one- laws
    0 references
    descriptive complexity theory
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers