[Other] [Project Euclid] The Proof-Theoretic Strength of Constructive Second-Order Set Theories

eupwelzvd Post time 1 hour(s) ago | Show all posts |Read mode
This post will be closed automatically in 2026-06-20 02:26
Reward20points

journalㄩNotre Dame Journal of Formal Logic

AuthorsㄩHanul Jeon

Published dateㄩ2025-8-1

DOIㄩ10.1215/00294527-2025-0008

Article linkㄩhttps://doi.org/10.1215/00294527-2025-0008

Article SourceㄩDuke University Press


Remarkㄩ
Reply

Use magic Donate Report

All Reply0 Show all posts

Reply

You have to log in before you can reply Login | Register

Points Rules

Senior Member
  • post

  • reply

  • points

    10425

Return to the list