Skip to search formSkip to main contentSkip to account menu

Bar induction

Bar induction is a reasoning principle used in intuitionistic mathematics, introduced by L.E.J. Brouwer.It is useful in giving constructive versions… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
Bar recursionReverse mathematicsTransfinite induction

Broader (1)

Mathematical induction

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Bar Induction and Restricted Classical Logic
Bar induction is originally discussed by L. E. J. Brouwer under the name of “bar theorem” in his intuitionistic mathematics… 
2015
2015
The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
  • D. Normann
  • Log. Methods Comput. Sci.
  • 2015
  • Corpus ID: 15210393
We investigate wether three statements in analysis, that can be proved classically, are realizable in the realizability model of… 
2010
2010
Unavoidable sequences in constructive analysis
Five recursively axiomatizable theories extending Kleene's intuitionistic theory FIM of numbers and numbertheoretic (choice… 
2010
2010
The swap of integral and limit in constructive mathematics
Integration within constructive, especially intuitionistic mathematics in the sense of L. E. J. Brouwer, slightly differs from… 
2010
2010
Resistive loss identification of an inverter-fed deep-bar induction motor
This paper deals with the resistive losses in the deep-bar induction motor fed by a PWM inverter. The effect of harmonics from… 
Review
1996
Review
1996
Intuitionism - Counting its Blessings
  • D. Dalen
  • Linear Logic Tokyo Meeting
  • 1996
  • Corpus ID: 14248854
Review
1995
Review
1995
Admissible proof theory and beyond
1994
1994
Applications of the current state space model in analyses of saturated induction machines
1994
1994
Evaluation of dynamic parameters and performance of deep-bar induction machines
Deep rotor bar induction machines have good starting characteristics as compared with cylindrical bar squirrel-cage… 
1978
1978
Analysis of a Deep Bar Induction Motor and Compressor Load During Start-Up
An expanded rotor equivalent circuit model of a deep bar induction motor has been implemented using a steepest descent algorithm… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)