Open AccessPartial orders and immunity in reverse mathematics
Author(s) -
Ludovic Patey
Publication year - 2017
Publication title -
computability
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.136
H-Index - 12
eISSN - 2211-3576
pISSN - 2211-3568
DOI - 10.3233/com-170071
Subject(s) - mathematical proof , reverse mathematics , computability , unification , ramsey theory , ramsey's theorem , mathematics , discrete mathematics , automated theorem proving , order (exchange) , calculus (dental) , combinatorics , algebra over a field , computer science , pure mathematics , algorithm , programming language , medicine , graph , geometry , dentistry , finance , economics , axiom
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom