Simple axioms that are obviously true in \(\mathbb{N}\)
type: Item
instance of: scholarly article
title: Simple axioms that are obviously true in \(\mathbb{N}\)
zbMATH Open document ID: 1303.03090
author: Tomasz Połacik
author: Wim Ruitenburg
published in: The Review of Modern Logic
publication date: 2015-01-19T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.rml/1081173835
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 03C62
zbMATH DE Number: 6387865
zbMATH Keywords: subsystems of Peano arithmetic
zbMATH Keywords: universal algebra
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 6387865