Functions provably total in $I^{-}Σ_{n}$

Zofia Adamowicz; Teresa Bigorajska

Displaying similar documents to “Functions provably total in $I^{-} Σ_{n}$ ”

An isomorphism theorem of Hurewicz type in the proper homotopy category

J. Extremiana, L. Hernández, M. Rivas (1989)

Fundamenta Mathematicae

Similarity:

On the homotopy type of compact polyhedra

Peter Hilton (1967)

Fundamenta Mathematicae

Similarity:

Topos based homology theory

M. V. Mielke (1993)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this paper we extend the Eilenberg-Steenrod axiomatic description of a homology theory from the category of topological spaces to an arbitrary category and, in particular, to a topos. Implicit in this extension is an extension of the notions of homotopy and excision. A general discussion of such homotopy and excision structures on a category is given along with several examples including the interval based homotopies and, for toposes, the excisions represented by “cutting out” subobjects....