Work

A Note on the Theory of Well Orders

Year: 2024

Type: article

Abstract: We give a simple proof that the first-order theory of well orders is axiomatized by transfinite induction, and that it is decidable.

Source: Bulletin of Symbolic Logic

DOI: 10.1017/bsl.2024.53

Author: EMIL JEŘÁBEK

Institution: Czech Academy of Sciences

Language: English

Topic: Advanced Topology and Set Theory

Subfield: Geometry and Topology

Field: Mathematics

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $3,450

Funders: Univerzita Karlova v Praze, Grantová Agentura České Republiky, Akademie Věd České Republiky

Awards: G1741043573, G3967893287, Logic and unsatisfiability, G7516256142

OpenAlex ID: W4408135755

FWCI: 0.7

Cites: 3

Cited by: 1

Related to: 10