On the spectra of universal relational sentences

DOI10.1016/S0019-9958(84)80034-0zbMATH Open0593.03023OpenAlexW2021243585MaRDI QIDQ3722484

Harvey M. Friedman

Publication date: 1984

Published in: Information and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0019-9958(84)80034-0

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Universal relations and {\#}P-completeness 👍 👎
• Relational semantics revisited 👍 👎
• Universal Relations and #P-Completeness 👍 👎
• On the foundations of the universal relation model 👍 👎
• A domain theoretic characterisation of the universal relation 👍 👎
• A Universal Construction for (Co)Relations 👍 👎
• On a product of universal relational systems 👍 👎
• Universal Horn Sentences and the Joint Embedding Property 👍 👎

This page was built for publication: On the spectra of universal relational sentences

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