Pages that link to "Item:Q803126"
From MaRDI portal
The following pages link to Constructive formalization of the Tennenbaum theorem and its applications (Q803126):
Displaying 9 items.
- Modified realizability and predicate logic (Q1274048) (← links)
- Predicate logics of expressively strong theories (Q1582839) (← links)
- A survey of predicate realizability logic (Q2510768) (← links)
- Formalizing Moessner's theorem and generalizations in \textsc{Nuprl} (Q2667184) (← links)
- Predicate Logics of Constructive Arithmetical Theories (Q3416116) (← links)
- Rules and arithmetics (Q5937848) (← links)
- Arithmetic complexity of the predicate logics of certain complete arithmetic theories (Q5957916) (← links)
- Formalising the Kruskal-Katona theorem in Lean (Q6159369) (← links)
- An analysis of Tennenbaum's theorem in constructive type theory (Q6563042) (← links)