[Other] [ProjectEuclid/Duke University Press] 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-08-18 18:21
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

Project Euclid URL: https://projecteuclid.org/journa ... 527-2025-0008.short

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

    10792


Return to the list