Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,398,554 papers from all fields of science
Search
Sign In
Create Free Account
Epsilon-induction
Known as:
∈-induction
, Induction
, Ε-induction
Expand
In mathematics, -induction (epsilon-induction) is a variant of transfinite induction that can be used in set theory to prove that all sets satisfy a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Mathematical induction
Transfinite induction
Zermelo–Fraenkel set theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Impact of argumentation and English language proficiency on Lebanese students’ argumentation skills and conceptual understanding of genetics -
Abir Youssef Jammoul
2016
Corpus ID: 149784156
2015
2015
Assessment of the teaching of Islamic and Asian Civilisation (TITAS) with the use of Audio Visual Aids (AVA)
A. Talib
,
Sarjit S. Gill
,
N. Talib
,
Bani Hidayat Mohd Shafie
,
A. H. Tamuri
,
Puvaneswaran Kunasekaran
2015
Corpus ID: 114883169
The study to identify the first semester, Advanced Diploma students’ perceptions towards the teaching and learning of Islamic and…
Expand
2014
2014
Rough set ( RS ) approach for optimal rule generation in medical data
P. Srimani
,
M. S. Koti
2014
Corpus ID: 14074494
Medical data mining has great potential for exploring the hidden patterns in the data sets of the medical domain and these…
Expand
2013
2013
Automatic proof-search heuristics in the Maude invariant analyzer tool
C. Rocha
Cybersecurity and Cyberforensics Conference
2013
Corpus ID: 10294286
The Invariant Analyzer Tool is an interactive tool that mechanizes an inference system for proving safety properties of…
Expand
2011
2011
Chaucer and Petrarch: “S’amor non è” and the Canticus Troili
W. Ginsberg
2011
Corpus ID: 143634813
The scholastic ambience of S’amor non e ( Rvf 132) is not accidental; in it Petrarch demolishes the medieval cornerstone of…
Expand
Review
2011
Review
2011
Instructional Strategies to Facilitate Learning.
F. Lunenburg
,
Beverly J. Irby
2011
Corpus ID: 141047430
Teacher behavior research has shown that teacher behaviors, as well as speci c teaching strategies, make a di erence with regard…
Expand
2005
2005
Rule-based life cycle impact assessment using modified rough set induction methodology
R. Tan
Environmental Modelling & Software
2005
Corpus ID: 745870
1996
1996
The Complexity of Batch Approaches to Reduced Error Rule Set Induction
Mike Cameron-Jones
Pacific Rim International Conference on…
1996
Corpus ID: 20239406
Cohen [3] introduced a rule set improvement method, Grow, that is used in classifier learning in a similar way to standard…
Expand
1995
1995
Methods of Functional Extension
M. Baaz
,
A. Leitsch
1995
Corpus ID: 117155010
Functional extension is a principle which encodes the expressive power of quantifiers; it can be used to compute normal forms of…
Expand
Review
1987
Review
1987
Some connections between Heyting valued set theory and algebraic geometry—prolegomena to intuitionistic algebraic geometry—
H. Nishimura
1987
Corpus ID: 55373725
Rousseau [10] has shown that classical or standard function theory of n variables is no other than intuitionistic function theory…
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