Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-14674
For citation please use:
Main Title: Arithmetical Foundations A
Author(s): Pfender, Michael
Type: Research Paper
URI: https://depositonce.tu-berlin.de/handle/11303/15901
http://dx.doi.org/10.14279/depositonce-14674
License: http://rightsstatements.org/vocab/InC/1.0/
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.
Subject(s): research exposition
arithmetical foundations
free variables
Hilbert’s infinite hotel
Natural Numbers Object N
Issue Date: 3-Sep-2018
Date Available: 17-Dec-2021
Language Code: en
DDC Class: 510 Mathematik
MSC 2000: 00-02 Research exposition
Series: Preprint-Reihe des Instituts für Mathematik, Technische Universität Berlin
Series Number: 2018, 10
ISSN: 2197-8085
TU Affiliation(s): Fak. 2 Mathematik und Naturwissenschaften » Inst. Mathematik
Appears in Collections:Technische Universität Berlin » Publications

Files in This Item:
Preprint-10-2018.pdf
Format: Adobe PDF | Size: 463.19 kB
DownloadShow Preview
Thumbnail

Item Export Bar

Items in DepositOnce are protected by copyright, with all rights reserved, unless otherwise indicated.