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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2018

In this thesis we introduce the notion of majorizability types, and the category MMAsm of majorizability modified assemblies. The…

2015

Given a set $X$ of natural numbers, we may formalize "The formula $\phi$ is a theorem of $\omega$-logic over the theory $T$ using…

2012

We present a semi-formal foundational theory of sorts, akin to sets, named librationism because of its way of dealing with…

2011

In order to improve the fatigue performance of torsion bar, induction surface hardening is performed. The aim of the present…

2006

Rotor broken bar initially do not cause an induction motor to fail, but it can have serious secondary effects. Thus comprehension…

2006

2004

A fault diagnosis system based on pattern recognition techniques is developed for cage induction machine broken bar detection…

1998

Thesis (Ph.D.) -- University of Adelaide, Dept. of Electrical and Electronic Engineering, 1998

1997

1977