Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,293,728 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Bar recursion
Reverse mathematics
Transfinite 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
M. Fujiwara
Workshop on Logic, Language, Information and…
2019
Corpus ID: 195353316
Bar induction is originally discussed by L. E. J. Brouwer under the name of “bar theorem” in his intuitionistic mathematics…
Expand
2017
2017
Stray Load Losses Analysis of Cage Induction Motor Using 3-D Finite-Element Method With External Circuit Coupling
J. Cheaytani
,
A. Benabou
,
A. Tounzi
,
M. Dessoude
IEEE transactions on magnetics
2017
Corpus ID: 47576280
The stray load losses in electrical machines represent a non-negligible contribution of the total losses and are a key point for…
Expand
2012
2012
Study of double cage induction motors with different rotor bar materials
K. Gyftakis
,
D. Athanasopoulos
,
J. Kappatou
XXth International Conference on Electrical…
2012
Corpus ID: 19629492
This paper consists a study of the influence of specific design parameters on the double-cage induction motor behavior. The study…
Expand
Highly Cited
2011
Highly Cited
2011
Efficient Algorithms for the Inclusion of the Preisach Hysteresis Model in Nonlinear Finite-Element Methods
E. Dlala
IEEE transactions on magnetics
2011
Corpus ID: 40911786
This paper deals with key problems that have been commonly encountered in the implementation of the Preisach model into finite…
Expand
2010
2010
An ordinal analysis for theories of self-referential truth
Graham Emil Leigh
,
M. Rathjen
Archive for Mathematical Logic
2010
Corpus ID: 6794080
The first attempt at a systematic approach to axiomatic theories of truth was undertaken by Friedman and Sheard (Ann Pure Appl…
Expand
1998
1998
Some Results on Cut-Elimination, Provable Well-Orderings, Induction, and Reflection
T. Arai
Annals of Pure and Applied Logic
1998
Corpus ID: 28899626
1994
1994
Applications of the current state space model in analyses of saturated induction machines
E. Levi
1994
Corpus ID: 39737729
1990
1990
A New Model for Intuitionistic Analysis
P. Scowcroft
Annals of Pure and Applied Logic
1990
Corpus ID: 21180254
Highly Cited
1968
Highly Cited
1968
Functional interpretation of bar induction by bar recursion
Compositio Mathematica
,
W. A. Howard
1968
Corpus ID: 54530796
© Foundation Compositio Mathematica, 1968, tous droits réservés. L’accès aux archives de la revue « Compositio Mathematica…
Expand
Highly Cited
1966
Highly Cited
1966
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
W. A. Howard
,
G. Kreisel
Journal of Symbolic Logic (JSL)
1966
Corpus ID: 5683782
The following is a self-contained proof theoretic treatment of two of the principal axiom schemata of current intuitionistic…
Expand
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)
ACCEPT & CONTINUE