Pages that link to "Item:Q3195589"
From MaRDI portal
The following pages link to AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC (Q3195589):
Displaying 7 items.
- Partial collapses of the \(\Sigma _1\) complexity hierarchy in models for fragments of bounded arithmetic (Q866557) (← links)
- Second-order logic of paradox (Q1633895) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- Some Comments and Replies (Q3305682) (← links)
- Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics (Q5027251) (← links)
- On <i>LP</i>-models of arithmetic (Q5387309) (← links)
- Categoricity problem for LP and K3 (Q6642825) (← links)