Pages that link to "Item:Q412013"
From MaRDI portal
The following pages link to Intuitionistic logic and Muchnik degrees (Q412013):
Displaying 13 items.
- Natural factors of the Muchnik lattice capturing IPC (Q385809) (← links)
- Natural factors of the Medvedev lattice capturing IPC (Q481874) (← links)
- Honest elementary degrees and degrees of relative provability without the cupping property (Q515565) (← links)
- Mass problems associated with effectively closed sets (Q765664) (← links)
- Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic (Q800356) (← links)
- Degrees of maximality of Łukasiewicz-like sentential calculi (Q1239151) (← links)
- Degrees of logics with Henkin quantifiers in poor vocabularies (Q1882566) (← links)
- Absolute \(L\)-realizability and intuitionistic logic (Q2320010) (← links)
- Mass problems and intuitionistic higher-order logic (Q2799749) (← links)
- Degrees of Unsolvability: A Tutorial (Q3195683) (← links)
- Towards CERes in intuitionistic logic (Q4649567) (← links)
- Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic (Q4924544) (← links)
- Some elementary results in intuitionistic model theory (Q5687313) (← links)