A First-Order Isomorphism Theorem
From MaRDI portal
Publication:4337654
Recommendations
- scientific article; zbMATH DE number 512825
- scientific article; zbMATH DE number 2081095
- A theorem on the isomorphism property
- scientific article; zbMATH DE number 3989686
- scientific article; zbMATH DE number 3399435
- The first isomorphism theorem and other properties of rings
- A monotone isomorphism theorem
- A characterization of an isomorphism
- An isomorphism theorem for anti-ordered sets
- scientific article; zbMATH DE number 3920758
Cited in
(11)- A constant-space sequential model of computation for first-order logic
- A comic page for the first isomorphism theorem
- scientific article; zbMATH DE number 2081095 (Why is no real title available?)
- Indistinguishability and First-Order Logic
- The isomorphism conjecture for constant depth reductions
- Universal first-order logic is superfluous for NL, P, NP and coNP
- Investigations concerning the structure of complete sets
- scientific article; zbMATH DE number 3989686 (Why is no real title available?)
- Reductions in circuit complexity: An isomorphism theorem and a gap theorem
- The complexity of satisfiability problems: Refining Schaefer's theorem
- Strong Reductions and Isomorphism of Complete Sets
This page was built for publication: A First-Order Isomorphism Theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4337654)