
Subsystems of Second Order Arithmetic
654 kr
654 kr
På lager
To., 8 mai - on., 14 mai
Sikker betaling
14 dagers åpent kjøp
Selges og leveres av
Adlibris
Produktbeskrivelse
Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core mathematical areas such as algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics. In many cases, if a mathematical theorem is proved from appropriately weak set existence axioms, then the axioms will be logically equivalent to the theorem. Furthermore, only a few specific set existence axioms arise repeatedly in this context, which in turn correspond to classical foundational programs. This is the theme of reverse mathematics, which dominates the first half of the book. The second part focuses on models of these and other subsystems of second-order arithmetic.
Artikkel nr.
bf222aa4-9cf2-41b7-8c66-cba75990652a
Subsystems of Second Order Arithmetic
654 kr
654 kr
På lager
To., 8 mai - on., 14 mai
Sikker betaling
14 dagers åpent kjøp
Selges og leveres av
Adlibris
Lignende toppselgere

Anti-snork Bånd / Magnetiske Plaster - Stopper snorking
149 kr
tirsdag, 20 mai

Øreputer for Bose QuietComfort - QC35/QC25/QC15/AE2 Hodetelefoner Svart
99 kr
4,5
tirsdag, 6 mai

4-Pak - Tesla Senterkopper - Bil Svart/silver
129 kr
4,5
onsdag, 21 mai

-2 %
Trådløs CarPlay-adapter 2025
449 kr
Tidligere laveste pris:
459 kr
3,8
tirsdag, 6 mai

Luftrenseenhet - Renser / Saniterer luften - 20,000 mg/h
599 kr
4,3
tirsdag, 6 mai

Hundetrimmer / Potetrimmer - Trimmer for Poter
199 kr
4,3
tirsdag, 6 mai

-23 %
Silikontape / Plaster for Arr – Behandling av arr
99 kr
Tidligere laveste pris:
129 kr
2,0
tirsdag, 6 mai

RCA til HDMI Converter 1080p - Adapter
139 kr
4,5
tirsdag, 6 mai

Universallader for Garmin klokker Svart
89 kr
4,2
mandag, 5 mai

SERO Apple Macbook magsafe 2 lader, 60W - for Macbook Pro 13" m. Retina skjerm
349 kr
4,2
onsdag, 30 april
Anbefalinger til dig

Lofjerner klær - Pelsfjerner - Hårfjerner
87 kr
3,4
torsdag, 8 mai

Plenlufter - Piggsko for å lufte plenen
269 kr
4,0
tirsdag, 6 mai

INF Øreputer for Bose QC35 I/II, QC25, QC15, QC 2 AE 2, AE 2i, AE 2w, SoundTrue, SoundLink
99 kr
4,6
mandag, 5 mai

SERO Apple Macbook magsafe 2 lader, 45 W - for Macbook Air
399 kr
3,7
onsdag, 30 april

3-Pak - Fidget Spinners med Sugekopp for Barn
179 kr
4,4
tirsdag, 6 mai

INF Filter for MSPA oppblåsbare bassenger FD2089 4-pakning
299 kr
4,8
fredag, 2 mai

INF Tilbehør Xiaomi Roborock S5 Max/S50/S51/S55/S5/S60/S65/S6/S6 Pure/S6 MAXV 22 deler
272 kr
5,0
fredag, 2 mai

4-Pak - Volkswagen VW Senterkopper - Bil 65 mm
129 kr
4,1
tirsdag, 6 mai

INF Hjulmutterhette med fjerningsverktøy, 20-pak 21 mm
95 kr
4,6
mandag, 5 mai

Digital vekt - lommevekt, smykkevekt 0,01 - 200g
119 kr
4,4
onsdag, 30 april