Ordinal numbers - PDFSEARCH.IO - Document Search Engine

Ordinal numbers
Results: 227

#	Item
1	PREDICATIVITY BEYOND Γ0 NIK WEAVER Abstract. We reevaluate the claim that predicative reasoning (given the natural numbers) is limited by the Feferman-Sch¨ utte ordinal Γ0 . First we comprehensively criticize the argu Add to Reading List Source URL: www.math.wustl.edu - Date: 2014-05-10 23:37:55
2	Free Theorems for Bidirectional Transformation Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Mathematical logic Mathematics Wellfoundedness Set theory Ordinal numbers Constructible universe Proof theory CurryHoward correspondence Net
3	The LIFT ADA PROGRAM CERTIFICATION FORM Please complete this application as thoroughly as possible and to the best of your ability. If there are questions you do not understand, please call The LIFTfor assist Add to Reading List Source URL: files.athenstransit.com Language: English - Date: 2016-06-23 13:15:12 Physical chemistry Thermodynamic activity Proof theory Ordinal numbers
4	Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 Wellfoundedness Mathematical logic Mathematics Constructible universe Proof theory Logic Ordinal numbers CurryHoward correspondence Conjugate element
5	Property-Driven Scenario Integration Jewgenij Botaschanjan and Alexander Harhurin Technische Universität München Department of Informatics Boltzmannstr. 3, 85748 Garching, Germany {botascha,harhurin}@in.tum.de Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:14 Mathematics Constructible universe Net NC Proof theory Theoretical computer science Abstraction Ordinal numbers CurryHoward correspondence
6	arXiv:0708.0670v2 [math.SP] 16 Jun 2008 Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-06-16 14:08:47 Mathematical analysis Operator theory Functional analysis Constructible universe Eigenfunction Partial differential equations Ordinal numbers Harmonic analysis Differential forms on a Riemann surface NeumannPoincar operator
7	Optimal Sequential Delegation∗ Daniel Kr¨ahmer a,† Eugen Kov´aˇc a,b March 3, 2016 Add to Reading List Source URL: www.wiwi.uni-bonn.de Language: English - Date: 2016-03-03 05:48:03 Mathematics Set theory Ordinal numbers Philosophy of mathematics Code Inner model theory First uncountable ordinal Logic
8	Optimal policy computation with Dynare - MONFISPOL workshop, Stresa Add to Reading List Source URL: www.monfispol.eu Language: English - Date: 2011-04-20 14:05:39
9	Motivation The technique of forcing Cohen forcing Lebesgue measure Forcing: How to prove unprovability I Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-11-11 09:54:27 Mathematical logic Mathematics Forcing Logic Cardinal numbers Infinity ZermeloFraenkel set theory Continuum hypothesis Aleph number Lebesgue measure Constructible universe Ordinal number
10	Towards a Unified Treatment of Induction (Abstract) Paul Taylor 26 August 1996 induction over the nat-erty of the natural numbers: Mathematical ural numbers has been familiar since Eus Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:24 Mathematical logic Mathematics Set theory Category theory Wellfoundedness Constructible universe Topos Universal property Ordinal number Sheaf Mahlo cardinal Symbol