Second-order arithmetic

In mathematical logic, second-order arithmetic is a way to study the natural numbers and groups of these numbers called subsets. It gives rules to describe not just numbers, but also collections of numbers. This makes it very useful for many kinds of math.

Second-order arithmetic was developed as an alternative to axiomatic set theory. It was first studied by mathematicians like David Hilbert and Paul Bernays. The main system for second-order arithmetic is called Z₂.

One big difference between second-order arithmetic and Peano arithmetic is that second-order arithmetic lets us talk about sets of numbers, not just the numbers themselves. This means we can describe real numbers and many other ideas. Because of this, second-order arithmetic is sometimes called "analysis".

Second-order arithmetic is also related to set theory, but it is simpler. Every thing in this system is either a natural number or a set of natural numbers. Even though it is simpler, it can still prove almost all the important results in classical mathematics.

By using weaker versions of second-order arithmetic, mathematicians study how much math can be built using only a few basic rules. This area of study is called reverse mathematics. It helps us understand which parts of math need stronger ideas and which ones can be built with weaker tools.

Definition

Second-order arithmetic is a way to describe numbers and groups of numbers using rules and logic. It has two types of things: numbers (like 1, 2, 3) and groups of numbers. We can talk about any number or any group of numbers using special symbols.

We start with the number 0 and a rule to add one more, called the successor function. We also have ways to add and multiply numbers. There are special rules, like the induction axiom, which help us understand patterns that continue forever. For example, if something is true for the number 0 and if it being true for a number n means it’s also true for the next number, then it’s true for all numbers. There are also rules that let us create new groups of numbers based on properties they share.

Models

In second-order arithmetic, a model is a special structure that helps us understand the rules and ideas of the system. It includes a set of numbers, a starting point (like zero), and ways to add and multiply these numbers.

There are also special types of models called β_n-models, which help us study different levels of complexity in the system. These models help mathematicians see how certain properties stay true across different situations.

Subsystems

Main article: Reverse mathematics

There are many different subsystems of second-order arithmetic. These subsystems help mathematicians learn about the basics of math by looking at what is needed to prove different theorems.

One important subsystem is called ACA₀. This system includes basic rules and a special idea called the arithmetical comprehension axiom. ACA₀ is closely related to Peano arithmetic, another system used to study numbers.

Another key subsystem is RCA₀, which is even simpler than ACA₀. RCA₀ is often used as a starting point in reverse mathematics, a field that looks at which math ideas are needed to prove theorems. RCA₀ includes basic rules for understanding computable sets of numbers.

Projective determinacy

Main article: Axiom of projective determinacy

Projective determinacy is an idea in mathematics that says every game with clear rules and natural number moves has a winner. One player will always have a strategy to win. This concept is tied to second-order arithmetic, which deals with numbers and sets.

Many important math ideas that can't be proven with basic arithmetic rules can be shown true using projective determinacy. It helps complete the understanding of second-order arithmetic, making it easier to study complex math problems.

Coding mathematics

Second-order arithmetic helps us understand numbers and groups of numbers. It can also show other math ideas, like whole numbers, fractions, and real numbers, using special tricks called "coding." These tricks let mathematicians see which rules are needed to prove different math facts.

Researchers use these ideas to study how much we need to know about groups to prove theorems. For example, some theorems about numbers can be proven with just a few basic rules, while others need a little more. This helps us understand the basics of mathematics better.