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 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](https://www.pdfsearch.io/img/f79a25c133d5408ff54773979453d77e.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2012-01-03 20:57:09
|
---|
2![553 Documenta Math. A Modular Compactification of the General Linear Group 553 Documenta Math. A Modular Compactification of the General Linear Group](https://www.pdfsearch.io/img/97b0fc6d7993e1cc017840530e209817.jpg) | Add to Reading ListSource URL: www.math.uiuc.eduLanguage: English - Date: 2001-01-17 12:27:51
|
---|
3![Free Theorems for Bidirectional Transformation Janis Voigtl¨ ander Technische Universit¨ at Dresden Free Theorems for Bidirectional Transformation Janis Voigtl¨ ander Technische Universit¨ at Dresden](https://www.pdfsearch.io/img/44d090590e838e7828619136bde1a95e.jpg) | Add to Reading ListSource URL: www.janis-voigtlaender.euLanguage: English - Date: 2016-08-01 05:50:10
|
---|
4![Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at Dresden Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at Dresden](https://www.pdfsearch.io/img/33ec561496f7b0b4b83a48179cc89eb6.jpg) | Add to Reading ListSource URL: www.janis-voigtlaender.euLanguage: English - Date: 2016-08-01 05:50:11
|
---|
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 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](https://www.pdfsearch.io/img/21129c34ab2eec57675e6945fa88e24e.jpg) | Add to Reading ListSource URL: www.paultaylor.euLanguage: English - Date: 2009-02-12 12:52:24
|
---|
6![Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2](https://www.pdfsearch.io/img/3e3c7af0050b054323027ada10ac1c9b.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|
7![Typbasierte Programmtransformation Janis Voigtl¨ander Technische Universit¨ at Dresden 14. Juli 2009 Typbasierte Programmtransformation Janis Voigtl¨ander Technische Universit¨ at Dresden 14. Juli 2009](https://www.pdfsearch.io/img/b0d76b363b2eeca3a35608481eb582a5.jpg) | Add to Reading ListSource URL: www.janis-voigtlaender.euLanguage: English - Date: 2016-08-01 05:50:10
|
---|
8![Intuitionistic Sets and Ordinals Paul Taylor 1993 Abstract Transitive extensional well founded relations provide an intuitionistic notion of ordinals Intuitionistic Sets and Ordinals Paul Taylor 1993 Abstract Transitive extensional well founded relations provide an intuitionistic notion of ordinals](https://www.pdfsearch.io/img/bff096696e383a783284c4a558bc5049.jpg) | Add to Reading ListSource URL: www.paultaylor.euLanguage: English - Date: 2009-02-12 12:52:19
|
---|
9![553 Documenta Math. A Modular Compactification of the General Linear Group 553 Documenta Math. A Modular Compactification of the General Linear Group](https://www.pdfsearch.io/img/2385ee3345887e2d9c51c542dc3a2466.jpg) | Add to Reading ListSource URL: documenta.sagemath.orgLanguage: English - Date: 2001-01-17 12:27:51
|
---|
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 ω, ω ∗ , ω + 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 ω, ω ∗ , ω +](https://www.pdfsearch.io/img/72f3f15ef7ca93dc4da2e8a811766b66.jpg) | Add to Reading ListSource URL: www.math.tohoku.ac.jpLanguage: English - Date: 2015-07-05 17:59:22
|
---|