Skip to search formSkip to main contentSkip to account menu

Set theory

Known as: Ordinary set theory, Abstract set theory, Set 
Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects. Although any type of object can be… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Access structureAronszajn treeB-MethodBinary tree

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2008
Review
2008
Computerizing Mathematical Text with MathLang
Highly Cited
2006
Highly Cited
2006
Rough set based incremental clustering of interval data
Highly Cited
2002
Highly Cited
2002
HASCASL: Towards Integrated Specification and Development of Functional Programs
The development of programs in modern functional languages such as Haskell calls for a wide-spectrum specification formalism that… 
1996
1996
How to characterize provably total functions by local predicativity
Abstract Inspired by Pohlers' proof-theoretic analysis of KPω we give a straightforward non-metamathematical proof of the (well… 
Highly Cited
1995
Highly Cited
1995
Groups of Lie Type and their Geometries: Intermediate subgroups in Chevalley groups
Let G be a group and D be a subgroup of G. In this paper we are interested in the description of the lattice L(D; G) = fH j D H… 
Highly Cited
1990
Highly Cited
1990
A hierarchical approach to designing approximate reasoning-based controllers for dynamic physical systems
This paper presents a new technique for the design of approximate reasoning based controllers for dynamic physical systems with… 
1988
1988
A New Approach to the Objective Evaluation of Fabric Handle from Mechanical Properties
Fabric handle evaluation can be reduced to a typical clustering problem, and fuzzy cluster analysis is applied to a practical… 
Highly Cited
1987
Highly Cited
1987
Approximate Reasoning in Intelligent Systems, Decision and Control
1987
1987
Rearrangeability of multistage shuffle/exchange networks
In this paper we study the rearrangeability of multistage shuffle/exchange networks. Although a theoretical lower bound of (2 log… 
Review
1984
Review
1984
A retrospective view of fuzzy control systems
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)