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

💥 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: [email protected]

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

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

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: [email protected]

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

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

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

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

"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

🗣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: [email protected]
For more: ftl.usi.ch/it/feeds/14780

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

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

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

Looks like libgen.is is back!

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