Pages that link to "Item:Q3809800"
From MaRDI portal
The following pages link to Parameter-Free Universal Induction (Q3809800):
Displaying 10 items.
- Hilbert's tenth problem for weak theories of arithmetic (Q685070) (← links)
- Parametrization over inductive relations of a bounded number of variables (Q917545) (← links)
- Overspill and fragments of arithmetic (Q1123191) (← links)
- Parameter free induction and provably total computable functions (Q1960416) (← links)
- Algebraic combinatorics in bounded induction (Q2216029) (← links)
- Pell Equations and Weak Regularity Principles (Q3507426) (← links)
- On parameter free induction schemas (Q3834043) (← links)
- On A Problem Concerning Parameter Free Induction (Q3990706) (← links)
- (Q4364507) (← links)
- Weak forms of the Regularity Principle in the presence of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf {\mathsf {I}{\mathrm{E}}_1}$\end{document} (Q4915222) (← links)