Pages that link to "Item:Q1877095"
From MaRDI portal
The following pages link to An intensional fixed point theory over first order arithmetic (Q1877095):
Displaying 8 items.
- Intuitionistic fixed point theories over set theories (Q494642) (← links)
- Fixed points in Peano arithmetic with ordinals (Q1210139) (← links)
- An intuitionistic fixed point theory (Q1386672) (← links)
- First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (Q1659540) (← links)
- Extending constructive operational set theory by impredicative principles (Q3008060) (← links)
- Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman (Q3985093) (← links)
- (Q5691117) (← links)
- A fixed point theory over stratified truth (Q6047658) (← links)