The First-Order Isomorphism Theorem

13 years 9 months ago

Download www.cs.umass.edu

For any class C und closed under NC1 reductions, it is shown that all sets complete for C under ﬁrst-order (equivalently, Dlogtimeuniform AC0 ) reductions are isomorphic under ﬁrst-order computable isomorphisms.

Manindra Agrawal

Real-time Traffic

Closed Under | FSTTCS 2001 | Reductions | Software Engineering | ﬁrst-order Computable Isomorphisms |

claim paper

Related Content

» A FirstOrder Isomorphism Theorem

» The First Order Theories of the Medvedev and Muchnik Lattices

» MSPASS Modal Reasoning by Translation and FirstOrder Resolution

» FirstOrder Logic Formalisation of Arrows Theorem

» Herbrands Theorem Skolemization and Proof Systems for FirstOrder Lukasiewicz Logic

» A Focusing Inverse Method Theorem Prover for FirstOrder Linear Logic

» Comparing Unification Algorithms in FirstOrder Theorem Proving

» Using FirstOrder Theorem Provers in the Jahob Data Structure Verification System

» Clausal ConnectionBased Theorem Proving in Intuitionistic FirstOrder Logic

Post Info
More Details (n/a)

Added	28 Jul 2010
Updated	28 Jul 2010
Type	Conference
Year	2001
Where	FSTTCS
Authors	Manindra Agrawal

Comments (0)

Sciweavers

The First-Order Isomorphism Theorem

Closed Under | FSTTCS 2001 | Reductions | Software Engineering | ﬁrst-order Computable Isomorphisms |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers