Sets of Formulas Valid in Finite Structures

DOI10.2307/1996611zbMATH Open0276.02025OpenAlexW4243942503MaRDI QIDQ4401428FDOQ4401428

Authors Alan L. Selman

Publication date 1973

Full work available at URL https://doi.org/10.2307/1996611

Mathematics Subject Classification ID

Other model constructions (03C30) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Other degrees and reducibilities in computability and recursion theory (03D30)

Cites work

• scientific article; zbMATH DE number 3591972 (Why is no real title available?)
• scientific article; zbMATH DE number 3057871 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A criterion for completeness of degrees of unsolvability
• Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
• Degrees of Unsolvability. (AM-55)
• On degrees of unsolvability

This page was built for publication: Sets of Formulas Valid in Finite Structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4401428)