{"id":"arxiv:2008.07385","kind":"preprint","title":"Further results and examples for formal mathematical systems with structural induction","authors":["Matthias Kunik"],"author_count":1,"year":2020,"published":"2020-08-17","venue":null,"cited_by":null,"doi":null,"arxiv_id":"2008.07385","nct_id":null,"source_url":"https://arxiv.org/abs/2008.07385","archive_url":"https://space-kitty.com/papers/arxiv:2008.07385","updated":"2022-01-20","pmid":null,"pmcid":null,"openalex_id":null,"pdf_url":"https://arxiv.org/pdf/2008.07385","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.","abstract_license":"CC0-1.0 (arXiv descriptive metadata)","license":null,"is_open_access":false,"retracted":false,"peer_reviewed":false,"categories":["math.LO","cs.LO"],"details":null,"provenance":"arxiv","attribution":"Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.","topics":[],"cited_in_dossiers":[]}