Arithmetic

Results: 8697



#Item
61PDF Flash Cards Elementary Arithmetic Start Again

PDF Flash Cards Elementary Arithmetic Start Again

Add to Reading List

Source URL: www.math.uakron.edu

- Date: 2002-09-03 05:29:35
    62On embedding models of arithmetic of cardinality ℵ1 into reduced powers∗ Juliette Kennedy† Department of Mathematics University of Helsinki Helsinki, Finland

    On embedding models of arithmetic of cardinality ℵ1 into reduced powers∗ Juliette Kennedy† Department of Mathematics University of Helsinki Helsinki, Finland

    Add to Reading List

    Source URL: www.math.helsinki.fi

    Language: English - Date: 2002-09-01 07:59:48
      63BATBAMBAMMBA: Boolean and Arithmetic Languages Oregon Programming Languages Summer School Ronald Garcia 4 July

      BATBAMBAMMBA: Boolean and Arithmetic Languages Oregon Programming Languages Summer School Ronald Garcia 4 July

      Add to Reading List

      Source URL: www.cs.uoregon.edu

      Language: English - Date: 2017-07-05 13:09:34
        64Turing jumps and Post observes The Turing jump interpretation of transfinite provability logic Hyper-arithmetic reflection Turing jumps again Joost J. Joosten

        Turing jumps and Post observes The Turing jump interpretation of transfinite provability logic Hyper-arithmetic reflection Turing jumps again Joost J. Joosten

        Add to Reading List

        Source URL: wrm17.mi.ras.ru

        Language: English - Date: 2017-10-23 08:17:47
          65Efficient Software Implementation of Binary Field Arithmetic Using Vector Instruction Sets Diego F. Aranha Department of Computer Science University of Bras´ılia Joint work with

          Efficient Software Implementation of Binary Field Arithmetic Using Vector Instruction Sets Diego F. Aranha Department of Computer Science University of Bras´ılia Joint work with

          Add to Reading List

          Source URL: caramel.loria.fr

          Language: English - Date: 2016-02-01 16:50:30
            66Commentary/Rips et al.: From numerical concepts to concepts of number arithmetical skills. However, they neglect the neo-Fregean alternative axiomatization of arithmetic, based on Hume’s principle. Frege arithmetic is

            Commentary/Rips et al.: From numerical concepts to concepts of number arithmetical skills. However, they neglect the neo-Fregean alternative axiomatization of arithmetic, based on Hume’s principle. Frege arithmetic is

            Add to Reading List

            Source URL: helendecruz.net

            Language: English - Date: 2015-12-13 11:35:17
              67REMARKS ON FINITISM W. W. TAIT† The background of these remarks is that in 1967, in ‘’Constructive reasoning” [27], I sketched an argument that finitist arithmetic coincides with primitive recursive arithmetic,

              REMARKS ON FINITISM W. W. TAIT† The background of these remarks is that in 1967, in ‘’Constructive reasoning” [27], I sketched an argument that finitist arithmetic coincides with primitive recursive arithmetic,

              Add to Reading List

              Source URL: home.uchicago.edu

              Language: English - Date: 2001-09-04 16:12:18
                68ARITHMETIC PROPERTIES OF THE SHIMURA-SHINTANI-WALDSPURGER CORRESPONDENCE KARTIK PRASANNA with an appendix by BRIAN CONRAD 1

                ARITHMETIC PROPERTIES OF THE SHIMURA-SHINTANI-WALDSPURGER CORRESPONDENCE KARTIK PRASANNA with an appendix by BRIAN CONRAD 1

                Add to Reading List

                Source URL: math.stanford.edu

                Language: English - Date: 2008-11-11 16:23:48
                  69Fast arithmetic for triangular sets: from theory to practice ´ Xin Li Marc Moreno Maza Eric Schost Computer Science Department, The University of Western Ontario, London, Ontario, Canada

                  Fast arithmetic for triangular sets: from theory to practice ´ Xin Li Marc Moreno Maza Eric Schost Computer Science Department, The University of Western Ontario, London, Ontario, Canada

                  Add to Reading List

                  Source URL: cs.uwaterloo.ca

                  Language: English - Date: 2015-10-14 23:46:09
                    70Independence and Large Cardinals Peter Koellner April 16, 2010 The independence results in arithmetic and set theory led to a proliferation of mathematical systems. One very general way to investigate the space of possib

                    Independence and Large Cardinals Peter Koellner April 16, 2010 The independence results in arithmetic and set theory led to a proliferation of mathematical systems. One very general way to investigate the space of possib

                    Add to Reading List

                    Source URL: logic.harvard.edu

                    Language: English - Date: 2011-09-20 00:26:33