A system of completely independent axioms for the sequence of natural numbers

DOI10.2307/2267993zbMATH Open0063.08173OpenAlexW2024427973WikidataQ114589247 ScholiaQ114589247MaRDI QIDQ5846787FDOQ5846787

Authors: Shianghaw Wang 

Publication date: 1943

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2267993

Recommendations

• scientific article; zbMATH DE number 3285208
• Publication:4888335
• Independent numerations of theories and recursive progressions
• Independent Recursive Axiomatizability in Arithmetic
• Independent numerations of theories and of recursive progressions
• On certain axiomatizations of arithmetic of natural and integer numbers
• A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM
• Independence of axiom system of basic algebras
• Absolutely independent axiomatizations for countable sets in classical logic

Cited In (3)

• Redundant axioms in teaching linear algebra
• Explicating logical independence
• On the (In)Dependence of the Peano Axioms for Natural Numbers

This page was built for publication: A system of completely independent axioms for the sequence of natural numbers

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