Wellfoundedness - PDFSEARCH.IO - Document Search Engine

Wellfoundedness
Results: 13

#	Item
1	arXiv:1201.0473v1 [math-ph] 2 JanA UNIVERSALITY THEOREM FOR RATIOS OF RANDOM CHARACTERISTIC POLYNOMIALS JONATHAN BREUER AND EUGENE STRAHOV Abstract. We consider asymptotics of ratios of random characteristic Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-01-03 20:57:09 Mathematical analysis Mathematics Functional analysis Ordinal number Wellfoundedness Constructible universe Distribution Probability distributions Differential forms on a Riemann surface Isotope lists 73-96
2	553 Documenta Math. A Modular Compactification of the General Linear Group Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-01-17 12:27:51 Mathematics Ordinal number Wellfoundedness Constructible universe Symbol Closed and exact differential forms Theory of computation NC CurryHoward correspondence Generalised Whitehead product
3	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
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	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
6	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
7	Typbasierte Programmtransformation Janis Voigtl¨ander Technische Universit¨ at Dresden 14. Juli 2009 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Data types Ordinal number Wellfoundedness Boolean data type Mathematical logic Computing Mathematics Type theory
8	Intuitionistic Sets and Ordinals Paul Taylor 1993 Abstract Transitive extensional well founded relations provide an intuitionistic notion of ordinals Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:19 Ordinal numbers Set theory Mathematical logic Recursion Wellfoundedness Constructible universe Well-founded relation Transfinite induction Transitive set Burali-Forti paradox Equality Implementation of mathematics in set theory
9	553 Documenta Math. A Modular Compactification of the General Linear Group Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2001-01-17 12:27:51 Ordinal number Wellfoundedness Constructible universe Symbol Closed and exact differential forms NC CurryHoward correspondence Generalised Whitehead product
10	LINEAR EXTENSIONS OF PARTIAL ORDERS AND REVERSE MATHEMATICS EMANUELE FRITTAION AND ALBERTO MARCONE Abstract. We introduce the notion of τ -like partial order, where τ is one of the linear order types ω, ω ∗ , ω + Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2015-07-05 17:59:22 Wellfoundedness Ordinal numbers Operator theory Differential forms Well-order Differential forms on a Riemann surface Sobolev spaces for planar domains