grant
New Aspects of Reverse Mathematics
Organization UKRILocation United Kingdom
UKRIUK ResearchGrantActive
Description preview
Mathematical arguments start from a collection of assumptions called 'axioms' and reason logically to deduce conclusions that are called 'theorems.' These deductions of theorems from axioms are called 'proofs.' For example, the famous Pythagorean theorem can be proved from basic axioms about geometry. Given a proof of a theorem, one may then ask…
🔒
Start 7-day free trial — $29.99/mo →Full details available on the Agency plan
Unlock the complete grant description, eligibility criteria, contract value, evaluation details and apply link — plus alerts, pipeline tracking, and CSV export.
Agency Plan
7-day free trialUnlock procurement & grants
Upgrade to access active tenders from World Bank, UNDP, ADB and more — with email alerts and pipeline tracking.
$29.99 / month
- 🔔Email alerts for new matching tenders
- 🗂️Track tenders in your pipeline
- 💰Filter by contract value
- 📥Export results to CSV
- 📌Save searches with one click