scientific article; zbMATH DE number 1522861

MaRDI QIDQ4511145zbMATH OpenFDO

Authors Stephen H. Schanuel

Publication date 30 October 2000

zbMATH Keywords

exponentiationextensive categoriesfinite directed graphsobjective number theory

Mathematics Subject Classification ID

Graph theory (05C99) Diophantine approximation, transcendental number theory (11J99) Probabilistic theory: distribution modulo (1); metric theory of algorithms (11K99) Connections of number theory and logic (11U99) Graphs, diagram schemes, precategories (18A10) Foundations, relations to logic and deductive systems (18A15) Special categories (18B99)

Recommendations

• Cartesian categories with natural numbers object
• Models of arithmetic and categories with finiteness conditions
• Objective number theory and the retract chain condition
• A conglomerate of exponential supercategories of the category of finitely generated topological spaces
• Foundations of unlimited category theory: what remains to be done

Cited in

(5)

• Objective number theory and the retract chain condition
• Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category
• Remarks on isomorphisms in typed lambda calculi with empty and sum types
• On computing a separating transcendence basis
• scientific article; zbMATH DE number 2107977 (Why is no real title available?)

This page was built for publication:

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