Pure & constructive mathematics in theory and use – Telegram
Pure & constructive mathematics in theory and use
@typetheoryinprogramming
513 subscribers
1 photo
13 files
444 links
Just resources about fundamental mathematics, type theory, their use in programming mostly.
Contact: @megamanisepic
Becoming an admin isn't difficult as long as you have a slight idea of the topic and preserve the style.
Download Telegram
About
Blog
Apps
Platform
Join
Pure & constructive mathematics in theory and use
513 subscribers
Pure & constructive mathematics in theory and use
Set-theoretic geology
https://arxiv.org/abs/1107.4776
arXiv.org
Set-Theoretic Geology
A ground of the universe V is a transitive proper class W subset V, such that W is a model of ZFC and V is obtained by set forcing over W, so that V = W[G] for some W-generic filter G subset P in...
738 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Kreisel's "Unwinding" Program
https://math.stanford.edu/~feferman/papers/unwind.pdf
639 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Intutionistic Sets and Ordinals
http://www.paultaylor.eu/ordinals/intso.pdf
618 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Practical Foundations of Mathematics
http://www.paultaylor.eu/prafm/
661 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Relating first-order set theories, toposes and categories of classes
http://www.phil.cmu.edu/projects/ast/Papers/Awodey-Butz-Simpson-Streicher-APAL-2013.pdf
606 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Infinite Time Turing Machines
https://arxiv.org/pdf/math/9808093.pdf
583 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
An introduction to locally finitely presentable categories
https://pi.math.cornell.edu/~maru/documents/locally_finitely_presentable_cats.pdf
588 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
1460059215690.pdf
3.7 MB
Conceptual Mathematics
607 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
A new pass at the NF consistency proof
https://randall-holmes.github.io/Nfproof/newattempt.pdf
582 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
A=B
https://www.math.upenn.edu/~wilf/AeqB.pdf
605 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
A suite of cool logic programs
https://xorshammer.com/2009/05/14/a-suite-of-cool-logic-programs/
XOR's Hammer
A Suite of Cool Logic Programs
You may have heard about the Tarski-Seidenberg theorem, which says that the first-order theory of the reals is decidable, that the first-order theory of the complex numbers is similarly decidable, …
622 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
The relative efficiency of propositional proof systems
https://www.cs.toronto.edu/~sacook/homepage/cook_reckhow.pdf
611 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Restricted Set-theoretic Definitions in Arithmetic
https://www.ams.org/journals/proc/1958-009-02/S0002-9939-1958-0093479-4/S0002-9939-1958-0093479-4.pdf
610 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Real Analysis in Reverse
http://faculty.uml.edu/jpropp/reverse.pdf
686 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Unfolding Finitist Arithmetic
http://math.stanford.edu/~feferman/papers/UnfoldFA.pdf
642 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
The Unfolding of Non-Finitist Airthmetic
http://math.stanford.edu/~feferman/papers/unfolding.pdf
657 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Believing the Axioms
http://www.cs.umd.edu/~gasarch/BLOGPAPERS/belaxioms1.pdf
679 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
The Strength of Mac Lane Set Theory
https://www.dpmms.cam.ac.uk/~ardm/maclane.pdf
732 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
A Univalent Universe in Finite Order Arithmetic
https://arxiv.org/pdf/1412.6714.pdf
727 viewsUnivalence | quag, edited  
Pure & constructive mathematics in theory and use
Rectangular Axioms, perfect set properties and decomposition
http://www.users.miamioh.edu/larsonpb/goedel.pdf
762 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Concept Calculus
https://cpb-us-w2.wpmucdn.com/u.osu.edu/dist/1/1952/files/2014/01/ConcCalcMIT110409-2ddqhmp.pdf
799 viewsUnivalence | quag,