Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The aim of the paper is to apply methods from the subsystems of second-order Peano arithmetic to the subsystems of Basic Law V and Hume's Principle. In particular, methods from hyperarithmetic theory are used to build models of subsystems of Basic Law V and recursively saturated models, and ideas from the model theory of fields are applied to build models of subsystems of Hume's Principle and Basic Law V. The primary application of these new constructions is to compare the interpretability strength of the subsystems of second-order Peano arithmetic to the subsystems of Basic Law V and Hume's Principle. The main results of the paper are: (1) There is a consistent extension of the hyperarithmetic fragment of Basic Law V which interprets the hyperarithmetic fragment of second-order Peano arithmetic. (2) The hyperarithmetic fragment of Hume's Principle does not interpret the hyperarithmetic fragment of second-order Peano arithmetic, so that in this specific sense there is no predicative version of Frege's theorem. | |||
Property / review text: The aim of the paper is to apply methods from the subsystems of second-order Peano arithmetic to the subsystems of Basic Law V and Hume's Principle. In particular, methods from hyperarithmetic theory are used to build models of subsystems of Basic Law V and recursively saturated models, and ideas from the model theory of fields are applied to build models of subsystems of Hume's Principle and Basic Law V. The primary application of these new constructions is to compare the interpretability strength of the subsystems of second-order Peano arithmetic to the subsystems of Basic Law V and Hume's Principle. The main results of the paper are: (1) There is a consistent extension of the hyperarithmetic fragment of Basic Law V which interprets the hyperarithmetic fragment of second-order Peano arithmetic. (2) The hyperarithmetic fragment of Hume's Principle does not interpret the hyperarithmetic fragment of second-order Peano arithmetic, so that in this specific sense there is no predicative version of Frege's theorem. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Roman Murawski / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03D65 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6086902 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
second-order arithmetic | |||
Property / zbMATH Keywords: second-order arithmetic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Basic Law V | |||
Property / zbMATH Keywords: Basic Law V / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hume's Principle | |||
Property / zbMATH Keywords: Hume's Principle / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
hyperarithmetic | |||
Property / zbMATH Keywords: hyperarithmetic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
recursively saturated | |||
Property / zbMATH Keywords: recursively saturated / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
interpretability | |||
Property / zbMATH Keywords: interpretability / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1543500847 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1407.0436 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The elementary theory of finite fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4110995 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4208520 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Frege's Theorem and the Peano Postulates / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4523465 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4227561 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5694788 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Predicative logic and formal arithmetic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4481857 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3838064 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040321 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5537368 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Burgess’<i>PV</i>is Robinson’s<i>Q</i> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4384146 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4539489 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The development of arithmetic in Frege's<i><b>Grundgesetze der arithmetik</b></i> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Consistency of predicative fragments of frege’s <i>grundgesetze der arithmetik</i> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cardinality, counting, and equinumerosity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3256314 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4437331 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Predicative Fragments of Frege Arithmetic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Speaking with Shadows: A Study of Neo‐Logicism / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groups and Fields Interpretable in Separably Closed Fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Descriptive set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classical recursion theory. The theory of functions and sets of natural numbers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5387442 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2723260 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040890 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4001345 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3395521 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040892 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperarithmetical quantifiers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Forcing with tagged trees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4392286 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The predicative Frege hierarchy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4663840 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3037386 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Is Hume's principle analytic? / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 18:04, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Comparing Peano arithmetic, Basic Law V, and Hume's Principle |
scientific article |
Statements
Comparing Peano arithmetic, Basic Law V, and Hume's Principle (English)
0 references
26 September 2012
0 references
The aim of the paper is to apply methods from the subsystems of second-order Peano arithmetic to the subsystems of Basic Law V and Hume's Principle. In particular, methods from hyperarithmetic theory are used to build models of subsystems of Basic Law V and recursively saturated models, and ideas from the model theory of fields are applied to build models of subsystems of Hume's Principle and Basic Law V. The primary application of these new constructions is to compare the interpretability strength of the subsystems of second-order Peano arithmetic to the subsystems of Basic Law V and Hume's Principle. The main results of the paper are: (1) There is a consistent extension of the hyperarithmetic fragment of Basic Law V which interprets the hyperarithmetic fragment of second-order Peano arithmetic. (2) The hyperarithmetic fragment of Hume's Principle does not interpret the hyperarithmetic fragment of second-order Peano arithmetic, so that in this specific sense there is no predicative version of Frege's theorem.
0 references
second-order arithmetic
0 references
Basic Law V
0 references
Hume's Principle
0 references
hyperarithmetic
0 references
recursively saturated
0 references
interpretability
0 references