Ordinal arithmetic - PDFSEARCH.IO - Document Search Engine

Ordinal arithmetic
Results: 131

#	Item
1	ORDINAL ARITHMETIC ¨ JULIAN J. SCHLODER Abstract. These are verbose tutorial notes on the fundamentals of ordinal arithmetic. We define ordinal arithmetic and give proofs for laws of Left-Monotonicity, Associativity, Di Add to Reading List Source URL: jjsch.github.io Language: English - Date: 2018-04-26 08:07:28
2	BIT 39(3), pp. 539–560, 1999 FAST AND PARALLEL INTERVAL ARITHMETIC SIEGFRIED M. RUMP Inst. of Computer Science III, Technical University Hamburg-Harburg, Eißendorfer Str. 38, 21071 Hamburg, Germany. Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2005-11-23 09:26:23 Mathematics Computer arithmetic Mathematical logic Theory of computation Numerical analysis Arithmetic Interval arithmetic Interval Constructible universe Ordinal number NC Machine epsilon
3	Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Ordinal numbers Mathematics Abstraction Cardinal numbers Set theory Wellfoundedness Infinity Ordinal arithmetic Transfinite induction Constructible universe Aleph number
4	A Revenge-Immune Solution to the Semantic Paradoxes Hartry Field∗ August 29, 2002 Abstract Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Mathematical logic Mathematics Ordinal numbers Philosophy of mathematics Constructible universe Transfinite induction Generalised Whitehead product Ordinal arithmetic
5	789 Documenta Math. Unramified Skolem Problems and Unramified Arithmetic Bertini Theorems Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-12-22 16:28:49 Field theory Ordinal number Constructible universe Splitting field Generalised Whitehead product Indexed grammar
6	Giant Components in Kronecker Graphs Paul Horn∗ Mary Radcliffe† Abstract Add to Reading List Source URL: web.cs.du.edu Language: English - Date: 2011-04-10 12:23:26 General topology Net Constructible universe NC Probability distributions CurryHoward correspondence Ordinal arithmetic
7	789 Documenta Math. Unramified Skolem Problems and Unramified Arithmetic Bertini Theorems Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2003-12-22 16:28:49 Field theory Ordinal number Constructible universe Splitting field Generalised Whitehead product Indexed grammar
8	Geophysical Journal International Geophys. J. Int, 938–953 Advance Access publication 2016 February 10 GJI Seismology doi: gji/ggw057 Add to Reading List Source URL: www.giseis.alaska.edu Language: English - Date: 2016-04-05 14:43:46 Connection Symbol Constructible universe Differential geometry Riemann surfaces Differential forms Complex analysis Differential forms on a Riemann surface Ordinal arithmetic
9	Scope & Sequence U nit Numbers 1 to 3 Add to Reading List Source URL: www.richmond.com.co Language: English - Date: 2016-02-24 13:51:54 Mathematics Elementary arithmetic Binary operations Subtraction Size Shape Addition Number Ordinal number Matrix
10	Game characterizations of function classes and Weihrauch degrees MSc Thesis (Afstudeerscriptie) written by Hugo de Holanda Cunha Nobrega (born September 5, 1987 in Petrópolis, Brazil) Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2013-10-24 09:16:13 Mathematical logic Mathematics Set theory Descriptive set theory Wadge hierarchy Determinacy Axiom of countable choice Ordinal numbers -consistent theory Ordinal arithmetic