03-XX

Matematik Emne Klassifikation: sektioner af niveau 1

03-XX er koden for den del af niveau 1 af klassificeringen ordningen MSC dedikeret til matematisk logik og grundlaget for matematik.

Denne side præsenterer træ underkategorier af mellemliggende og detaljeret i samme afsnit.


03-XX

  • 03-00 Generelle opslagsværker
  • 03-01 Instruerende udstilling
  • 03-02 præsentation af forskning
  • Arbejder 03-03 Historisk {! Skal også tildeles mindst én klassifikation nummer fra afsnit 01-XX}
  • 03-04 Eksplicit maskine beregning og programmer
  • 03-06 handlinger, konferencer, samlinger mv


03Axx

  • 03A05 filosofiske værker og kritikere {for matematikkens filosofi, se 00A30}
  • 03A10 logik i videnskabsteori
  • 00a99 andre end ovenstående, men i dette afsnit emner

03Bxx

  • 03B05 klassisk propositional logik
  • 03B10 klassiske logik første ordre
  • 03B15 højere ordens logik og type teori
  • 03B20 delsystemer i klassisk logik
  • 03B22 abstrakte deduktive systemer
  • 03B25 afgørbarhed af teorier og sæt sætninger
  • 03B30 grundlaget for klassiske teorier
  • 03B35 mekanisering demonstrationer og logiske operationer
  • 03B40 logik og lambda calculus
  • 03B42 logik viden og udtalelser?
  • 03B44 temporal logik
  • {03B45 modallogik for viden og udtalelser, se 03B42; for temporal logik, se 03B44; for logik provability, se også 03F45}
  • 03B47 substructural logik {for aspekter af bevis teori, se 03F52}
  • 03B48 sandsynlighed og induktiv logik
  • 03B50 logisk at mange værdier
  • 03B52 fuzzy logik; logik vage
  • 03B53 logik Paraconsistent
  • 03B55 logisk mellemliggende
  • 03B60 andre ikke-klassiske logikker
  • 03B62 logisk kombination
  • 03B65 logik naturlige sprog
  • 03B70 logik i datalogi
  • 03B80 andre anvendelser af logik
  • 03B99 andre end ovenstående, men i dette afsnit emner

03Cxx

  • 03C05 klasser equational, universel algebra
  • 03C07 grundlæggende egenskaber af sprog og strukturer i det første ordre
  • 03C10 kvantor elimination, model fuldstændighed og relaterede emner
  • 03C13 færdige strukturer
  • 03C15 strukturer tælleligt
  • 03C20 ultraproducts og relaterede konstruktioner
  • Tvinger 03C25? Tvinger modellen teori
  • 03C30 andre konstruktioner af modeller
  • 03C35 kategorisk og fuldstændigheden af ​​teorier
  • 03C40 interpolation, konservering, definability
  • 03C45 teori om klassificering, stabilitet og beslægtede begreber
  • 03C48 abstrakte klasser elementære og relaterede emner
  • 03C50 modeller med særlige egenskaber
  • 03C52 ejendomme model klasser
  • 03C55 model teori baseret? på mængdelære
  • 03C57 model teori effektiv og baseret på teorien om rekursion
  • 03C60 algebra baseret på teorien om modeller
  • 03C62 modeller af aritmetiske og mængdelære
  • 03C64 model teori om ordnede strukturer; o-minimality
  • 03C65 modeller af andre matematiske teorier
  • 03C68 andre emner af teorien om de klassiske modeller af den første ordre
  • 03C70 logik tilladte sæt
  • 03C75 andre forhold af logik infinitary
  • 03C80 logik med ekstra kvantorer og operatører? Yderligere
  • 03C85 model teori om anden og højere orden
  • 03C90 modeller ikke-klassiske
  • 03C95 model teori Abstrakt
  • 03C98 anvendelser af teorien om modeller
  • 03C99 andre end ovenstående, men i dette afsnit emner

03Dxx

  • 03D03 Thue-systemer, systemer mv Post.
  • 03D05 mekaniske figurer og formelle grammatikker i forbindelse med logiske spørgsmål
  • 03D10 Turing-maskiner og relaterede begreber
  • 03D15 komplekse beregninger
  • 03D20 funktioner og rekursive relationer, hierarkier subricorsive
  • 03D25 rekursivt enumerable sæt og grader
  • 03D28 andre strukturer i stand til Turing
  • 03D30 andre kvaliteter og reducibility
  • 03D32 algoritmisk tilfældighed og størrelse algoritmisk
  • 03D35 ubeslutsomhed og grader af sæt af sætninger
  • 03D40 ord problemer etc.
  • 03D45 teori om tal, effettivemente strukturer præsenteret {for intuitionists og lignende tiltag, se 03F55}
  • 03D50 Rekursiv ækvivalens typer af sæt og strukturer Islands?
  • 03D55 hierarkier
  • 03D60 beregnelighed og rekursion på ordenstal, tilladte sæt og så videre.
  • 03D65 rekursion teori om overlegen type og på sæt
  • 03D70 definability induktive
  • 03D75 beregnelighed og rekursion abstrakt og aksiomatisk
  • 03D78 beregninger på fast {for byggeri aspekter, se 03Fxx}
  • 03D80 applikationer beregnelighed og rekursion teori
  • 03D99 andre end ovenstående, men i dette afsnit emner

03Exx

  • 03E02 relationer partition
  • 03E04 bestilt sæt og deres Cofinality; PCF teori
  • 03E05 andre spørgsmål af kombinatorisk mængdelære
  • 03E10 ordenstal og kardinaler
  • 03E15 deskriptiv mængdelære
  • 03E17 kardinal funktioner i contimuo
  • 03E20 andre temaer af klassisk mængdelære
  • 03E25 udvalgsaksiomet og relaterede udsagn
  • 03E30 aksiomer af klassisk mængdelære og fragmenter
  • 03E35 resultater af konsekvens og uafhængighed
  • 03E40 Andre aspekter af tvang? og modeller til booleske værdier
  • 03E45 interne modeller, herunder bygbarhed, ordinal definability og modeller af kernen?
  • 03E47 andre opfattelser af definability i teorien i sæt
  • 03E50 kontinuumhypotesen og aksiom af Martin
  • 03E55 store kardinaler
  • 03E57 generiske absoluthed og tvinger aksiomer?
  • 03E60 principper sikkerhed
  • 03E65 andre antagelser og aksiomer
  • 03E70 mængdelære og ikke klassisk anden orden
  • 03E72 fuzzy mængdelære
  • 03E75 anvendelser af mængdelære
  • 03E99 andre end ovenstående, men i dette afsnit emner

03Fxx

  • 03F03 bevis teori, generelt
  • 03F05 eliminering af nedskæringerne? og teoremer normalform
  • 03F07 struktur af demonstrationer
  • 03F10 funktionelle i bevis teori
  • 03F15 Rekursive ordenstal og ordinale notationer
  • 03F20 kompleksitet demonstrationer
  • 03F25 relative størrelse og fortolkninger
  • 03F30 aritmetiske af første orden og dens fragmenter
  • 03F35 aritmetiske anden ordens og højere ordrer og dens fragmenter
  • 03F40 Gödel nummerering i bevis teori
  • 03F45 logik provability og algebraer forbundet
  • 03F50 metamathematics af byggesystemer
  • 03F52 lineær logik og andre substructural logikker
  • 03F55 intuitionistic matematik
  • 03F60 konstruktiv analyse og rekursive
  • 03F65 anden matematisk konstruktion
  • 03F99 andre end ovenstående, men i dette afsnit emner

03Gxx

  • 03G05 Boolesk algebraer
  • 03G10 net og tilhørende strukturer
  • 03G12 kvante logik
  • 03G15 algebraer cylindrisk poliadiche; relationel algebra
  • 03G20 algebraer Lukasiewicz og Post
  • 03G25 andre algebraer forbundet med logik
  • 03G27 abstrakt algebraisk logik
  • 03G30 kategoriske logik, topos
  • 03G99 andre end ovenstående, men i dette afsnit emner

03Hxx

  • 03H05 nonstandard modeller i matematik
  • 03H10 andre anvendelser af nonstandard modeller
  • 03H15 nonstandard modeller af aritmetiske
  • 03H99 andre end ovenstående, men i dette afsnit emner