Arithmetical Foundations A

Source file is available as :   Portable Document Format (PDF)

Author(s) : Michael Pfender

Preprint series of the Institute of Mathematics, Technische Universität Berlin
Preprint 10-2018

MSC 2000

00-02 Research exposition

Abstract :
Free-variables categorical cartesian theories: Interpretation of free variables as identitic maps or projections. Iteration, full schema of primitive recursion, Hilbert's infnite hotel, Algebra and order on the Natural Numbers Object N.