<--- Back to Details
First PageDocument Content
Computability theory / Function / Primitive recursive function / Principia Mathematica / Knaster–Tarski theorem / Mathematics / Functions and mappings / Mathematical logic
Date: 2011-10-10 03:10:32
Computability theory
Function
Primitive recursive function
Principia Mathematica
Knaster–Tarski theorem
Mathematics
Functions and mappings
Mathematical logic

Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics Mart´ın Escard´ o University of Birmingham, UK

Add to Reading List

Source URL: www.cs.bham.ac.uk

Download Document from Source Website

File Size: 136,46 KB

Share Document on Facebook

Similar Documents

Trigonometric Graphs This resource sheet is designed for use with the Casio fx-CG20. However it can be used with the Casio fx-9860GII or the Casio fx-9750GII although there may be some differences in the key sequences ne

Trigonometric Graphs This resource sheet is designed for use with the Casio fx-CG20. However it can be used with the Casio fx-9860GII or the Casio fx-9750GII although there may be some differences in the key sequences ne

DocID: 1rqxP - View Document

CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES FOR p = 2 SHIN HATTORI Abstract. Let p be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n,

CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES FOR p = 2 SHIN HATTORI Abstract. Let p be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n,

DocID: 1rokA - View Document

14. Calculus and Linear Algebra Po-Shen Loh CMU Putnam Seminar, Fall

14. Calculus and Linear Algebra Po-Shen Loh CMU Putnam Seminar, Fall

DocID: 1rmie - View Document

Rainer Hempel  Institut Computational Mathematics http://www.icm.tu-bs.de/∼hempel

Rainer Hempel Institut Computational Mathematics http://www.icm.tu-bs.de/∼hempel

DocID: 1rmfM - View Document

PDF Document

DocID: 1rlRQ - View Document