Léon Probst

Juvenal Murwanashyaka: Friedman's $ \mathsf{WD} $ is not parameter-free sequential https://arxiv.org/abs/2509.14222 https://arxiv.org/pdf/2509.14222 https://arxiv.org/html/2509.14222

18.09.2025 06:39 — 👍 1    🔁 1    💬 0    📌 0

💥 Lugano Philosophy Colloquia, Fall 2025

The schedule is available now!
Check out usi.ch/en/feeds/32641 for the full program.

To stay updated on our incoming events, visit usi.ch/en/education... or subscribe to our mailing list.

For any questions: events.isfi@usi.ch

11.09.2025 15:01 — 👍 5    🔁 3    💬 0    📌 0

Ali Enayat, Mateusz {\L}e{\l}yk, Albert Visser
Completions of Restricted Complexity I, Weak Arithmetical Theories
https://arxiv.org/abs/2508.14758

21.08.2025 05:18 — 👍 1    🔁 1    💬 0    📌 0

📌Framed Moments
Workshop: Variations on Metamathematics
3-4 July, 2025

13.07.2025 12:40 — 👍 1    🔁 1    💬 0    📌 0

Léon Probst organises a workshop on "The Variations on Metamathematics", aiming to discuss some of the questions within the notion of intensionality.

Room SI-006, Black Building, USI West Campus, 3-4 July.

For more info: leon.probst@usi.ch

For more information, visit: www.usi.ch/it/feeds/31822

30.06.2025 14:15 — 👍 2    🔁 1    💬 0    📌 0

Taishi Kurahashi
Refinements of provability and consistency principles for the second incompleteness theorem
https://arxiv.org/abs/2507.00955

02.07.2025 04:09 — 👍 2    🔁 2    💬 0    📌 0

Taishi Kurahashi, Albert Visser
Extensional Independence
https://arxiv.org/abs/2506.13524

17.06.2025 04:02 — 👍 1    🔁 1    💬 0    📌 0

Harvey M. Friedman, Albert Visser
When Bi-interpretability implies Synonymy
https://arxiv.org/abs/2506.01028

03.06.2025 04:32 — 👍 1    🔁 1    💬 0    📌 0

"An obvious alternative is to explore theories of properties based on non-wellfounded set theories and the conceptions on which they are based."

Here is the link to the complete abstract!

usi.ch/en/feeds/31005

14.04.2025 14:22 — 👍 1    🔁 0    💬 0    📌 0

🗣Carlo Nicolai will give the talk, "On Non-Wellfounded Instantiation", as part of the Lugano Philosophy Colloquia.

Don't miss it on April 15 at 5.30pm (CET)!

For Zoom link: events.isfi@usi.ch
For more: ftl.usi.ch/it/feeds/14780

09.04.2025 17:10 — 👍 3    🔁 1    💬 0    📌 1

Haruka Kogure, Taishi Kurahashi
Doubly partially conservative sentences
https://arxiv.org/abs/2503.12373

18.03.2025 05:47 — 👍 1    🔁 1    💬 0    📌 0

Albert Visser
On a Question of Hamkins'
https://arxiv.org/abs/2502.09109

14.02.2025 06:01 — 👍 1    🔁 1    💬 0    📌 0

Lev D. Beklemishev, Daniyar S. Shamkanov, Ivan N. Smirnov
Fragments of arithmetic and cyclic proofs
https://arxiv.org/abs/2502.06639

11.02.2025 05:23 — 👍 1    🔁 1    💬 0    📌 0

Library Genesis Library Genesis is a scientific community targeting collection of books on natural science disciplines and engineering.

Looks like libgen.is is back!

15.01.2025 13:14 — 👍 0    🔁 0    💬 0    📌 0

Haruka Kogure, Taishi Kurahashi
A variety of partially conservative sentences
https://arxiv.org/abs/2412.08208

12.12.2024 05:06 — 👍 3    🔁 1    💬 0    📌 1