Skip to main content
Article thumbnail
Location of Repository

Previous Up Next Article Citations From References: 1 From Reviews: 0

By Manuel (f-poly-li) Junker and Markus (d-frbg-ml

Abstract

In this category, f: A � B means that f is an interpretation of B into A, i.e., there is an m and an A-definable set U ⊆ A m such that f: U → B is a surjective function with A-definable kernel which has the property that the f-preimage of the graph of a defining function or relation of B is A-definable

Topics: The formation of automorphism groups is a functor
Year: 2013
OAI identifier: oai:CiteSeerX.psu:10.1.1.353.4278
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.