2000 character limit reached
Further results and examples for formal mathematical systems with structural induction
Published 17 Aug 2020 in math.LO and cs.LO | (2008.07385v7)
Abstract: In the former article "Formal mathematical systems including a structural induction principle" we have presented a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the predicate calculus as well as a formal induction principle. In this paper we present some further results and examples in order to illustrate how this theory works.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.