Subsystems of Second Order Arithmetic
666 kr
666 kr
På lager
To., 6 feb. - on., 12 feb.
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
666 kr
666 kr
På lager
To., 6 feb. - on., 12 feb.
Sikker betaling
14 dagers åpent kjøp
Selges og leveres av
Adlibris
Lignende toppselgere
Generic
Øreputer for Bose QuietComfort - QC35/QC25/QC15/AE2 Hodetelefoner Svart
99 kr
4,5(708)
mandag, 20 jan.
Maaleo
Dobbeltsidige tusjer/penner - 168 stk. MAALEO 24101
399 kr
5,0(1)
torsdag, 30 jan.
INF
Universallader for Garmin klokker
83 kr
Tidligere laveste pris:
90 kr
4,3(262)
fredag, 17 jan.
Generic
2-Pak - iPhone Lader Adapter+Kabel 20W USB-C Hurtiglader
199 kr
3,7(501)
mandag, 20 jan.
INF
INF Sklisikker beskyttelse / brodder for sko med 18 stålpigger (L)
216 kr
4,5(19)
torsdag, 16 jan.
KIRKLAND
6x60ml = 360ml - Kirkland Extra Strength 5% Men Hair Regrowth 60ml Hair Loss
1 290 kr
5,0(5)
fredag, 17 jan.
Megabilligt
Galaxy Lamp - Nebula Star -projektoren med fjernkontroll
499 kr
Tidligere laveste pris:
909 kr
3,9(26)
mandag, 20 jan.
INF
INF Tilbehør Roborock S6/S60/S65/S5 Max/T6, 20 deler
289 kr
Tidligere laveste pris:
383 kr
3,2(21)
torsdag, 16 jan.
Odin
Titan Silikon Til Tredemølle 100ml
149 kr
Tidligere laveste pris:
349 kr
5,0(4)
fredag, 17 jan.
J&EL
J&EL Gulvovn 2000W Hvit 2.0
199 kr
Tidligere laveste pris:
599 kr
mandag, 13 jan.
Anbefalinger til dig
Nördic
NÖRDIC 192kHz DAC Digital til Analog Converter SPDIF Toslink til Analog Stereo RCA L/R
350 kr
4,1(12)
fredag, 17 jan.
Generic
2-Pak - PS4 Kontroll DoubleShock for Playstation 4 - Trådløs
549 kr
4,4(7)
mandag, 20 jan.
Northix
UV-lampe for gellakk - bevegelsessensor - 48 w
249 kr
4,8(17)
onsdag, 15 jan.
INF
INF AirTag-holder, 2 stk. Flerfarget
86 kr
4,1(39)
fredag, 17 jan.
Toppik
Toppik - 27,5g - Dark Brown - Mørkebrun
285 kr
Tidligere laveste pris:
379 kr
4,4(11)
fredag, 17 jan.
Generic
RCA til HDMI Converter 1080p - Adapter
129 kr
4,4(15)
mandag, 20 jan.
Megabilligt
Sovende hodetelefoner - Hodebånd og øyemaske med Bluetooth -hodetelefoner
249 kr
Tidligere laveste pris:
299 kr
3,9(20)
mandag, 20 jan.
INF
INF Babymonitor med kamera 2.4G-overføring, 2-veis lyd, infrarødt nattsyn
798 kr
Tidligere laveste pris:
1 043 kr
5,0(3)
torsdag, 16 jan.
Pro
Digital vekt - lommevekt, smykkevekt 0,01 - 200g
119 kr
4,2(25)
onsdag, 15 jan.
Mobil o Teknik
Blodtrykksmåler for overarmen med minnefunksjoner
249 kr
Tidligere laveste pris:
269 kr
4,0(145)
tirsdag, 21 jan.