Vote for your favorite mineral in #MinCup25! - Dioptase vs. Wavellite
It's a green, green world for kiwi #wavellite vs desert emerald #dioptase.
Log InRegister
Quick Links : The Mindat ManualThe Rock H. Currier Digital LibraryMindat Newsletter [Free Download]
Home PageAbout MindatThe Mindat ManualHistory of MindatCopyright StatusWho We AreContact UsAdvertise on Mindat
Donate to MindatCorporate SponsorshipSponsor a PageSponsored PagesMindat AdvertisersAdvertise on Mindat
Learning CenterWhat is a mineral?The most common minerals on earthInformation for EducatorsMindat ArticlesThe ElementsThe Rock H. Currier Digital LibraryGeologic Time
Minerals by PropertiesMinerals by ChemistryAdvanced Locality SearchRandom MineralRandom LocalitySearch by minIDLocalities Near MeSearch ArticlesSearch GlossaryMore Search Options
Search For:
Mineral Name:
Locality Name:
Keyword(s):
 
The Mindat ManualAdd a New PhotoRate PhotosLocality Edit ReportCoordinate Completion ReportAdd Glossary Item
Mining CompaniesStatisticsUsersMineral MuseumsClubs & OrganizationsMineral Shows & EventsThe Mindat DirectoryDevice SettingsThe Mineral Quiz
Photo SearchPhoto GalleriesSearch by ColorNew Photos TodayNew Photos YesterdayMembers' Photo GalleriesPast Photo of the Day GalleryPhotography

Kohlenbach, U., Leuştean, L. (2012) On the computational content of convergence proofs via Banach limits. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3449-3463 doi:10.1098/rsta.2011.0329

Advanced
   -   Only viewable:
Reference TypeJournal (article/letter/editorial)
TitleOn the computational content of convergence proofs via Banach limits
JournalPhilosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
AuthorsKohlenbach, U.Author
Leuştean, L.Author
Year2012 (July 28)Volume370
Issue1971
PublisherThe Royal Society
DOIdoi:10.1098/rsta.2011.0329Search in ResearchGate
Generate Citation Formats
Mindat Ref. ID663111Long-form Identifiermindat:1:5:663111:0
GUID0
Full ReferenceKohlenbach, U., Leuştean, L. (2012) On the computational content of convergence proofs via Banach limits. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3449-3463 doi:10.1098/rsta.2011.0329
Plain TextKohlenbach, U., Leuştean, L. (2012) On the computational content of convergence proofs via Banach limits. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3449-3463 doi:10.1098/rsta.2011.0329
In(2012, July) Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences Vol. 370 (1971) The Royal Society

See Also

These are possibly similar items as determined by title/reference text matching only.

Montalbán, Antonio (2012) Rice sequences of relations. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3464-3487 doi:10.1098/rsta.2011.0333
Dershowitz, Nachum, Falkovich, Evgenia (2012) Honest universality. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3340-3348 doi:10.1098/rsta.2012.0220
Smolensky, Paul (2012) Symbolic functions from neural computation. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3543-3569 doi:10.1098/rsta.2011.0334
Vazirani, Umesh, Vidick, Thomas (2012) Certifiable quantum dice. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3432-3448 doi:10.1098/rsta.2011.0336
Floridi, Luciano (2012) Turing's three philosophical lessons and the philosophy of information. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3536-3542 doi:10.1098/rsta.2011.0325
Lloyd, Seth (2012) A Turing test for free will. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3597-3610 doi:10.1098/rsta.2011.0331
Soare, Robert Irving (2012) Formalism and intuition in computability. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3277-3304 doi:10.1098/rsta.2011.0335
Hardy, Lucien (2012) The operator tensor formulation of quantum theory. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3385-3417 doi:10.1098/rsta.2011.0326
Barmpalias, George, Dowe, David L. (2012) Universality probability of a prefix-free machine. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3488-3511 doi:10.1098/rsta.2011.0319
Case, John, Kötzing, Timo (2012) Computability-theoretic learning complexity. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3570-3596 doi:10.1098/rsta.2011.0320
Jones, Neil D., Simonsen, Jakob Grue (2012) Programs=data=first-class citizens in a computational world. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3305-3318 doi:10.1098/rsta.2011.0328
 
and/or  
Mindat.org is an outreach project of the Hudson Institute of Mineralogy, a 501(c)(3) not-for-profit organization.
Copyright © mindat.org and the Hudson Institute of Mineralogy 1993-2025, except where stated. Most political location boundaries are © OpenStreetMap contributors. Mindat.org relies on the contributions of thousands of members and supporters. Founded in 2000 by Jolyon Ralph.
To cite: Ralph, J., Von Bargen, D., Martynov, P., Zhang, J., Que, X., Prabhu, A., Morrison, S. M., Li, W., Chen, W., & Ma, X. (2025). Mindat.org: The open access mineralogy database to accelerate data-intensive geoscience research. American Mineralogist, 110(6), 833–844. doi:10.2138/am-2024-9486.
Privacy Policy - Terms & Conditions - Contact Us / DMCA issues - Report a bug/vulnerability Current server date and time: September 10, 2025 19:56:02
Go to top of page