Pages that link to "Item:Q1221103"
From MaRDI portal
The following pages link to Significato e verita nell'aritmetica peaniana (Q1221103):
Displaying 7 items.
- Provability: The emergence of a mathematical modality (Q1176093) (← links)
- The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.) (Q1222158) (← links)
- Un'estensione del teorema di Lob (Q1224575) (← links)
- An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) (Q1237723) (← links)
- On the set of 'meaningful' sentences of arithmetic (Q1256458) (← links)
- A sequence of theories for arithmetic whose union is complete (Q1259592) (← links)
- Problemi aperti sulle algebre diagonali (Q4121961) (← links)
