The role of parameters in bar rule and bar induction

Publisher： Cambridge University Press

E-ISSN： 1943-5886|56|2|715-730

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.56, Iss.2, 1991-06, pp. : 715-730

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis

By  

The Journal of Symbolic Logic, Vol. 31, Iss. 3, 1966-09 ,pp. : 325-358

Cambridge University Press

Access to resources Recommend Favorite

Bar Induction and Π1 1-CA 1

By  

The Journal of Symbolic Logic, Vol. 34, Iss. 3, 1969-11 ,pp. : 353-362

Cambridge University Press

Access to resources Recommend Favorite

Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis

By  

The Journal of Symbolic Logic, Vol. 48, Iss. 1, 1983-03 ,pp. : 63-70

Cambridge University Press

Access to resources Recommend Favorite

Broken Bar Diagnosis for Squirrel Cage Induction Motors Using Frequency Analysis Based on MCSA and Continuous Wavelet Transform

By Granda Danilo   Aguilar Wilbert G.   Arcos-Aviles Diego   Sotomayor Danny  

Mathematical and Computational Applications, Vol. 22, Iss. 2, 2017-04 ,pp. : 30-30

MDPI

Access to resources Recommend Favorite

On the Asymptotic Analys of a Non-Symmetric Bar

By Majd Abderrazzak  

ESAIM: Mathematical Modelling and Numerical Analysis, Vol. 34, Iss. 5, 2010-03 ,pp. : 1069-1085

Edp Sciences

Access to resources Recommend Favorite