Sets of Formulas Valid in Finite Structures

DOI10.2307/1996611zbMath0276.02025OpenAlexW4243942503MaRDI QIDQ4401428

Selman, Alan L.

Publication date: 1973

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

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On degrees of unsolvability
• Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
• A criterion for completeness of degrees of unsolvability
• Degrees of Unsolvability. (AM-55)

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