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

• Title not available (Why is that?)
• On degrees of unsolvability
• Title not available (Why is that?)
• Degrees of Unsolvability. (AM-55)
• A criterion for completeness of degrees of unsolvability
• Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
• Title not available (Why is that?)

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)