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, which makes it very powerful for doing many kinds of math.

Second-order arithmetic was developed as an alternative to axiomatic set theory, which is another way to build the foundations of mathematics. 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 that need infinite sets. 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 the natural numbers and their groups 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 understand the foundations of mathematics by studying what is needed to prove various theorems.

One important subsystem is called ACA₀. This system includes basic axioms and a special rule 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 weaker than ACA₀. RCA₀ is often used as a starting point in reverse mathematics, a field that studies which mathematical principles are needed to prove theorems. RCA₀ includes basic axioms and 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 sets of numbers. It can also represent other math ideas, like whole numbers, fractions, and real numbers, using special methods called "coding." These methods let mathematicians study which rules are needed to prove different math facts.

Researchers use these ideas to look at how much we need to know about sets to prove theorems. For example, some theorems about how numbers change can be proven with just a few basic rules, while others need a bit more. This helps us understand the foundations of mathematics better.