Pages that link to "Item:Q3216644"
From MaRDI portal
The following pages link to ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS (Q3216644):
Displaying 16 items.
- On hyperarithmetical realizability (Q268079) (← links)
- Arithmetical realizability and basic logic (Q297665) (← links)
- Generalized realizability and Markov's principle (Q785957) (← links)
- Expressibility in the elementary theory of recursively enumerable sets with realizability logic (Q1097266) (← links)
- Modified realizability and predicate logic (Q1274048) (← links)
- A semantical proof of De Jongh's theorem (Q1812961) (← links)
- Possible predicates and actual properties (Q2053346) (← links)
- Absolute \(L\)-realizability and intuitionistic logic (Q2320010) (← links)
- Arithmetical realizability and primitive recursive realizability (Q2362860) (← links)
- No escape from Vardanyan's theorem (Q2501168) (← links)
- Generalized Realizability and Basic Logic (Q5056354) (← links)
- (Q5441554) (← links)
- A Generalized Realizability and Intuitionistic Logic (Q5886518) (← links)
- Rules and arithmetics (Q5937848) (← links)
- Dunn's relevant predication, real properties and identity (Q5947113) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)