• LOGIN
    Login with username and password
Repository logo

BORIS Portal

Bern Open Repository and Information System

  • Publications
  • Theses
  • Research Data
  • Projects
  • Organizations
  • Researchers
  • More
  • Collections
  • Statistics
  • LOGIN
    Login with username and password
Repository logo
Unibern.ch
  1. Home
  2. Publications
  3. Unfolding finitist arithmetic
 

Unfolding finitist arithmetic

Options
  • Details
  • Files
BORIS DOI
10.7892/boris.4979
Publisher DOI
10.1017/S1755020310000183
Date of Publication
2010
Publication Type
Article
Language(s)
en
Contributor(s)
Feferman, Solomon
Strahm, Thomas Adrian
Institut für Informatik und angewandte Mathematik (IAM)
Additional Credits
Institut für Informatik und angewandte Mathematik (IAM)
Series
Review of symbolic logic
Publisher
Cambridge University Press
ISSN
1755-0203
Access(Rights)
open.access
Show full item
BORIS Portal
Bern Open Repository and Information System
Build: dd892c [ 9.04. 8:30]
Explore
  • Projects
  • Funding
  • Publications
  • Research Data
  • Organizations
  • Researchers
  • Audiovisual Material
  • Software & other digital items
  • Events
More
  • About BORIS Portal
  • Send Feedback
  • Cookie settings
  • Service Policy
Follow us on
  • Mastodon
  • YouTube
  • LinkedIn
UniBe logo