Pages that link to "Item:Q1333319"
From MaRDI portal
The following pages link to On theorems of Gödel and Kreisel: Completeness and Markov's principle (Q1333319):
Displaying 5 items.
- Semantic completeness of first-order theories in constructive reverse mathematics (Q286708) (← links)
- Kripke models for classical logic (Q636371) (← links)
- Second-order logic and the power set (Q1702982) (← links)
- Non-classical metatheory for non-classical logics (Q2377187) (← links)
- Constructivism and Metamathematics (Q5258986) (← links)
