# Further results and examples for formal mathematical systems with structural induction

Preprint · Matthias Kunik

- Archive id: arxiv:2008.07385
- Published: 2020-08-17
- arXiv: https://arxiv.org/abs/2008.07385
- Source URL: https://arxiv.org/abs/2008.07385
- PDF: https://arxiv.org/pdf/2008.07385
- Provenance: arxiv

## 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 reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.