On some basic results by application of the CZF method.

Advances Physiology Education (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

TRADITIONAL AND A NEW METHODOLOGY FOR ANALYSIS OF HEART RATE VARIABILITY: A REVIEW BY PHYSIOLOGICAL AND CLINICAL EXPERIMENTAL RESULTS.Elio Conte - 2012 - Journal of Research and Review in Applied Science 13 (1):206-293.
Methods and Applications of Non-Linear Analysis in Neurology and Psycho-physiology.Elio Conte - 2012 - Journal of Consciousness Exploration and Research 1 (9):1070-1138.
Independence results around constructive ZF.Robert S. Lubarsky - 2005 - Annals of Pure and Applied Logic 132 (2-3):209-225.
Constructive Zermelo–Fraenkel set theory and the limited principle of omniscience.Michael Rathjen - 2014 - Annals of Pure and Applied Logic 165 (2):563-572.
Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe.Sergei Tupailo - 2003 - Annals of Pure and Applied Logic 120 (1-3):165-196.
Physical-Recreational Activities in Basic Education Students: A Systematic Review.Helen Priscilla Salvatierra Mendieta, Gina Karina Tumbaco Villamar, Andrea Sinche-Guzmán, Denisse Maricela Salcedo Aparicio, Robby Oliver Gutiérrez Gonzales, Guiceli Codina Patiño García & Carlos Alberto Cherre Antón - forthcoming - Evolutionary Studies in Imaginative Culture:253-266.
A Study on the Application of 'Currere' Method in Moral Education.Sung-A. Jung - 2007 - Journal of Moral Education 18 (2):239.
Realizability models for constructive set theories with restricted induction principles.Laura Crosilla - unknown
Are There Enough Injective Sets?Peter Aczel, Benno Berg, Johan Granström & Peter Schuster - 2013 - Studia Logica 101 (3):467-482.
A note on Bar Induction in Constructive Set Theory.Michael Rathjen - 2006 - Mathematical Logic Quarterly 52 (3):253-258.

Analytics

Added to PP
2011-07-26

Downloads
504 (#56,453)

6 months
61 (#92,687)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references