Parameter-Free Universal Induction

DOI10.1002/MALQ.19890350511MaRDI QIDQ3809800zbMATH OpenOpenAlexFDO

Authors Richard Kaye

Publication date 1989

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19890350511

zbMATH Keywords

bounded arithmeticparameter-free induction of bounded-universal formulasparameter-free induction of universal formulasrecursive models of arithmeticstructural properties of nonstandard modelsTennenbaum's theorem

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

Recommendations

• Conservation results for parameter-free _n-induction
• scientific article; zbMATH DE number 1088194
• On parameter free induction schemas
• scientific article; zbMATH DE number 4075046
• scientific article; zbMATH DE number 4039892

Cited in

(12)

• Overspill and fragments of arithmetic
• Parameter free induction and provably total computable functions
• Algebraic combinatorics in bounded induction
• Conservation results for parameter-free _n-induction
• Pell Equations and Weak Regularity Principles
• scientific article; zbMATH DE number 4075046 (Why is no real title available?)
• On parameter free induction schemas
• On A Problem Concerning Parameter Free Induction
• scientific article; zbMATH DE number 1088194 (Why is no real title available?)
• 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}
• Hilbert's tenth problem for weak theories of arithmetic
• Parametrization over inductive relations of a bounded number of variables

This page was built for publication: Parameter-Free Universal Induction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3809800)