About: Abelian groups and quadratic residues in weak arithmetic     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • We investigate the provability of some properties of abelian groups and quadratic residues in variants of bounded arithmetic. Specifically, we show that the structure theorem for finite abelian groups is provable in S22 + iWPHP( b1), and use it to derive Fermat’s little theorem and Euler’s criterion for the Legendre symbol in S22 + iWPHP(PV )extended by the pigeonhole principle PHP(PV ). We prove the quadratic reciprocity theorem (including the supplementary laws) in the arithmetic theories T02 +Count2(PV ) and I 0 + Count2( 0) with modulo-2 counting principles.
  • We investigate the provability of some properties of abelian groups and quadratic residues in variants of bounded arithmetic. Specifically, we show that the structure theorem for finite abelian groups is provable in S22 + iWPHP( b1), and use it to derive Fermat’s little theorem and Euler’s criterion for the Legendre symbol in S22 + iWPHP(PV )extended by the pigeonhole principle PHP(PV ). We prove the quadratic reciprocity theorem (including the supplementary laws) in the arithmetic theories T02 +Count2(PV ) and I 0 + Count2( 0) with modulo-2 counting principles. (en)
Title
  • Abelian groups and quadratic residues in weak arithmetic
  • Abelian groups and quadratic residues in weak arithmetic (en)
skos:prefLabel
  • Abelian groups and quadratic residues in weak arithmetic
  • Abelian groups and quadratic residues in weak arithmetic (en)
skos:notation
  • RIV/67985840:_____/10:00343145!RIV11-MSM-67985840
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(1M0545), P(IAA1019401), Z(AV0Z10190503)
http://linked.open...iv/cisloPeriodika
  • 3
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 245095
http://linked.open...ai/riv/idVysledku
  • RIV/67985840:_____/10:00343145
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • bounded arithmetic; abelian group; Fermat's little theorem; quadratic reciprocity (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...odStatuVydavatele
  • DE - Spolková republika Německo
http://linked.open...ontrolniKodProRIV
  • [07B6FE383F75]
http://linked.open...i/riv/nazevZdroje
  • Mathematical Logic Quarterly
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...v/svazekPeriodika
  • 56
http://linked.open...iv/tvurceVysledku
  • Jeřábek, Emil
http://linked.open...ain/vavai/riv/wos
  • 000278949200003
http://linked.open...n/vavai/riv/zamer
issn
  • 0942-5616
number of pages
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software