Pages that link to "Mathematician:Paul Richard Halmos"
Jump to navigation
Jump to search
The following pages link to Mathematician:Paul Richard Halmos:
Displayed 21 items.
- Category:Definitions/Named Definitions/Halmos (transclusion) (← links)
- Definition:Element (← links)
- Definition:Iff (← links)
- Definition:Epsilon Relation (← links)
- Definition:Successor Mapping/Successor Set (← links)
- Definition:Halmos Symbol (← links)
- Definition:Successor Mapping (← links)
- Definition:Iff/Historical Note (← links)
- Definition:Element/Historical Note (← links)
- Definition:Element/Notation (← links)
- Definition:Element/Also known as (← links)
- Definition:Element/Class (← links)
- Definition:Successor Mapping/Also known as (← links)
- Definition:Successor Mapping/Peano Structure (← links)
- Definition:Halmos Symbol/Also known as (← links)
- Mathematician:William Rowan Hamilton (← links)
- Mathematician:Mathematicians/Sorted By Nation/Hungary (transclusion) (← links)
- Mathematician:Paul R. Halmos (redirect page) (← links)
- Union is Associative (← links)
- Intersection is Associative (← links)
- Union is Commutative (← links)
- Intersection is Commutative (← links)
- Composition of Relations is Associative (← links)
- Set Union is Idempotent (← links)
- Set Intersection is Idempotent (← links)
- Set is Subset of Itself (← links)
- Subset Relation is Transitive (← links)
- Union with Empty Set (← links)
- Intersection with Empty Set (← links)
- Union Distributes over Intersection (← links)
- Intersection Distributes over Union (← links)
- Set Difference with Set Difference (← links)
- Relative Complement of Empty Set (← links)
- Relative Complement with Self is Empty Set (← links)
- Relative Complement of Relative Complement (← links)
- Intersection with Relative Complement is Empty (← links)
- Union with Relative Complement (← links)
- Set Difference as Intersection with Relative Complement (← links)
- Symmetric Difference is Commutative (← links)
- Symmetric Difference with Empty Set (← links)
- Symmetric Difference with Self is Empty Set (← links)
- Symmetric Difference is Associative (← links)
- Cartesian Product is Empty iff Factor is Empty (← links)
- Cartesian Product of Subsets (← links)
- Cartesian Product of Intersections (← links)
- Cartesian Product Distributes over Union (← links)
- Cartesian Product Distributes over Set Difference (← links)
- Diagonal Relation is Equivalence (← links)
- Trivial Relation is Equivalence (← links)
- Inverse of Composite Relation (← links)
- Fundamental Theorem on Equivalence Relations (← links)
- Relation Induced by Partition is Equivalence (← links)
- Relation Partitions Set iff Equivalence (← links)
- Diagonal Relation is Right Identity (← links)
- Injection iff Left Inverse (← links)
- Inclusion Mapping is Injection (← links)
- Left Inverse Mapping is Surjection (← links)
- Set Equivalence behaves like Equivalence Relation (← links)
- Image of Intersection under Injection (← links)
- Union of Power Sets (← links)
- Intersection of Power Sets (← links)
- Well-Ordering Principle (← links)
- Natural Numbers are Infinite (← links)
- Cardinality of Cartesian Product of Finite Sets (← links)
- Cardinality of Power Set of Finite Set (← links)
- Inclusion Mapping is Surjection iff Identity (← links)
- Composition of Mappings is Associative (← links)
- Subset Relation on Power Set is Partial Ordering (← links)
- Set Complement inverts Subsets (← links)
- Set Difference with Superset is Empty Set (← links)
- Intersection with Subset is Subset (← links)
- Union with Superset is Superset (← links)
- Equivalence of Definitions of Injection/Definition 1 iff Definition 4 (← links)
- Equivalence of Definitions of Well-Ordering/Definition 1 implies Definition 2 (← links)
- Principle of Finite Choice (← links)
- Set Intersection Distributes over Set Difference (← links)
- Union of Singleton (← links)
- Union of Empty Set (← links)
- Intersection of Empty Set (← links)
- Duality Principle for Sets (← links)
- Condition for Composite Relation with Inverse to be Identity (← links)
- Subset of Domain is Subset of Preimage of Image (← links)
- Empty Set is Small (← links)
- Composition of Mappings is not Commutative (← links)
- Equality is Reflexive (← links)
- Equality is Symmetric (← links)
- Cardinality of Power Set of Finite Set/Proof 1 (← links)
- Complement of Preimage equals Preimage of Complement (← links)
- Infinite Set has Countably Infinite Subset/Intuitive Proof (← links)
- Equality is Transitive (← links)
- Axiom of Pairing from Axiom of Specification (← links)
- Existence of Singleton Set (← links)
- Intersection is Subset of Union of Intersections with Complements (← links)
- Intersection of Unions with Complements is Subset of Union (← links)
- Intersection of Elements of Power Set (← links)
- Power Set of Subset (← links)
- Union of Elements of Power Set (← links)
- Subset of Cartesian Product (← links)
- Diagonal Relation is Smallest Equivalence Relation (← links)
- Trivial Relation is Largest Equivalence Relation (← links)
- Inverse Element of Injection (← links)
- Intersection of Inductive Sets (← links)
- Minimally Inductive Set Exists (← links)
- Minimally Inductive Set forms Peano Structure (← links)
- Finite Ordinal is not Subset of one of its Elements (← links)
- Element of Minimally Inductive Set is Transitive Set (← links)
- Natural Number Addition is Commutative/Proof 2 (← links)
- Natural Number Addition Commutes with Zero (← links)
- Natural Number Addition is Associative/Proof 2 (← links)
- Natural Number Multiplication is Commutative/Proof 2 (← links)
- Natural Number Multiplication is Associative/Proof 2 (← links)
- Natural Number Multiplication Distributes over Addition/Proof 2 (← links)
- Element of Finite Ordinal iff Subset (← links)
- Ordering on Natural Numbers is Compatible with Addition (← links)
- Ordering on Natural Numbers is Compatible with Multiplication (← links)
- Proper Subset of Finite Ordinal is Equivalent to Smaller Ordinal (← links)
- Relation is Antisymmetric iff Intersection with Inverse is Coreflexive (← links)
- Mappings Partially Ordered by Extension (← links)
- Smallest Element is Unique (← links)
- Greatest Element is Unique (← links)
- Intersection of Subset with Lower Bounds (← links)
- Intersection of Subset with Upper Bounds (← links)
- Relation Contains Mapping is Equivalent to AoC (← links)
- Existence of Set with Singleton Intersections with Disjoint Collection (← links)
- Infinite Set has Countably Infinite Subset/Proof 3 (← links)
- Infinite Set is Equivalent to Proper Subset/Proof 2 (← links)
- Transfinite Induction/Principle 1 (← links)
- Zorn's Lemma implies Axiom of Choice (← links)
- Hausdorff's Maximal Principle is equivalent to Axiom of Choice (← links)
- Elements of Minimally Inductive Set are Well-Ordered (← links)
- Finite Lexicographic Order on Well-Ordered Sets is Well-Ordering (← links)
- Minimally Inductive Set is Well-Ordered (← links)
- Diagonal Relation is Left Identity (← links)
- Relation is Total iff Union with Inverse is Trivial Relation (← links)
- Natural Number Addition Commutativity with Successor/Proof 1 (← links)
- Cardinality of Set Union/Corollary (← links)
- Union is Associative/Family of Sets (← links)
- Image of Intersection under Mapping/Family of Sets (← links)
- Image of Union under Mapping/Family of Sets (← links)
- Preimage of Union under Mapping/Family of Sets (← links)
- Empty Set is Subset of All Sets/Proof 1 (← links)
- Empty Set is Subset of All Sets/Proof 2 (← links)
- Intersection Distributes over Union/Family of Sets (← links)
- Union Distributes over Intersection/Family of Sets (← links)
- Minimally Inductive Set is Minimal (← links)
- Equivalence of Definitions of Set Equality (← links)
- Axiom of Choice implies Zorn's Lemma/Proof 1 (← links)
- Image of Domain of Mapping is Image Set (← links)
- Image of Relation is Domain of Inverse Relation (← links)
- Domain of Relation is Image of Inverse Relation (← links)
- Image of Set Difference under Injection (← links)
- Equivalence of Definitions of Surjection (← links)
- Successor Mapping of Peano Structure has no Fixed Point (← links)
- Preimage of Image of Subset under Injection equals Subset (← links)
- Image of Preimage of Subset under Surjection equals Subset (← links)
- Projection is Injection iff Factor is Singleton (← links)
- De Morgan's Laws (Set Theory)/Relative Complement/Complement of Union (← links)
- De Morgan's Laws (Set Theory)/Relative Complement/Complement of Intersection (← links)
- Cardinality of Proper Subset of Finite Set (← links)
- Cardinality of Set of All Mappings/Finite Sets (← links)
- Principle of Mathematical Induction for Minimally Inductive Set (← links)
- Principle of Recursive Definition for Minimally Inductive Set (← links)
- Subset Relation is Antisymmetric (← links)
- Union of Disjoint Singletons is Doubleton (← links)
- Distributive Laws/Set Theory (← links)
- Intersection of Empty Set/Paradoxical Implications (← links)
- Ordered Pair/Kuratowski Formalization/Motivation (← links)
- Cardinality of Set of All Mappings from Empty Set (← links)
- Cardinality of Set of All Mappings to Empty Set (← links)
- Intersection Distributes over Union/Family of Sets/Corollary (← links)
- Union Distributes over Intersection/Family of Sets/Corollary (← links)
- Cartesian Product of Unions/General Result (← links)
- Preimages All Exist iff Surjection/Corollary (← links)
- Subset of Codomain is Superset of Image of Preimage/Proof 2 (← links)
- Preimage of Subset under Composite Mapping/Proof 2 (← links)
- Equivalence of Definitions of Maximal Element (← links)
- Equivalence of Definitions of Minimal Element (← links)
- Singleton of Power Set less Empty Set is Minimal Subset (← links)
- Power Set less Empty Set has no Smallest Element iff not Singleton (← links)
- Preimage of Intersection under Mapping/Family of Sets/Proof 2 (← links)
- Union Distributes over Intersection/Proof 1 (← links)
- Set of Sets can be Defined as Family (← links)
- Union is Commutative/Family of Sets (← links)
- Intersection is Commutative/Family of Sets/Proof 1 (← links)
- Intersection is Associative/Family of Sets/Proof 1 (← links)
- Intersection is Commutative/Family of Sets/Proof 2 (← links)
- Intersection is Associative/Family of Sets/Proof 2 (← links)
- Empty Set is Unique/Proof 2 (← links)
- Equality of Ordered Pairs/Necessary Condition (← links)
- Equality of Ordered Pairs/Necessary Condition/Proof from Kuratowski Formalization (← links)
- Intersection of Empty Set/Class Theory (← links)
- Natural Numbers are Comparable/Proof (← links)
- Relation Partitions Set iff Equivalence/Proof (← links)
- Equivalence of Formulations of Axiom of Choice/Formulation 2 implies Formulation 1 (← links)
- Russell's Paradox/Proof 1 (← links)
- There Exists No Universal Set/Proof 1 (← links)
- Exists Element Not in Set/Proof 2 (← links)
- Zorn's Lemma/Formulation 1 (← links)
- Hausdorff's Maximal Principle/Formulation 1 (← links)
- Set Difference with Set Difference/Proof 1 (← links)
- Set Difference with Set Difference/Proof 2 (← links)
- User:Prime.mover/Source Work Progress (← links)
- Axiom:Axiom of Choice/Formulation 1 (← links)
- Axiom:Axiom of Choice/Formulation 2 (← links)
- Axiom:Peano's Axioms (← links)
- Axiom:Peano's Axioms/Formulation 1 (← links)
- Axiom:Peano's Axioms/Formulation 2 (← links)
- Axiom:Peano's Axioms/Historical Note (← links)
- Axiom:Axiom of Extension/Set Theory (← links)
- Axiom:Axiom of Specification/Also known as (← links)
- Axiom:Axiom of Specification/Set Theory (← links)
- Axiom:Axiom of Pairing/Set Theory/Weak Form (← links)
- Axiom:Axiom of Unions/Set Theory (← links)
- Axiom:Axiom of Powers/Set Theory (← links)
- Axiom:Axiom of Infinity/Set Theory (← links)
- Axiom:Content Axioms (← links)
- Definition:Set (← links)
- Definition:Element (← links)
- Definition:Empty Set (← links)
- Definition:Singleton (← links)
- Definition:Subset (← links)
- Definition:Set Union (← links)
- Definition:Set Intersection (← links)
- Definition:Set Difference (← links)
- Definition:Statement (← links)
- Definition:Predicate (← links)
- Definition:Simple Statement (← links)
- Definition:Logical Connective (← links)
- Definition:Set Theory (← links)
- Definition:Logical Not (← links)
- Definition:Conjunction (← links)
- Definition:Disjunction (← links)
- Definition:Conditional (← links)
- Definition:Biconditional (← links)
- Definition:Parenthesis (← links)
- Definition:Cartesian Product (← links)
- Definition:Composition of Relations (← links)
- Definition:Inverse Relation (← links)
- Definition:Equivalence Class (← links)
- Definition:Power Set (← links)
- Definition:Universal Quantifier (← links)
- Definition:Existential Quantifier (← links)
- Definition:Disjoint Sets (← links)
- Definition:Relative Complement (← links)
- Definition:Range of Relation (← links)
- Definition:Trivial Relation (← links)
- Definition:Null Relation (← links)
- Definition:Diagonal Relation (← links)
- Definition:Proper Subset (← links)
- Definition:Quotient Set (← links)
- Definition:Graph of Mapping (← links)
- Definition:Inverse of Mapping (← links)
- Definition:Identity Mapping (← links)
- Definition:Inclusion Mapping (← links)
- Definition:Set Equivalence (← links)
- Definition:Set of All Mappings (← links)
- Definition:Quotient Mapping (← links)
- Definition:Equivalence Relation Induced by Mapping (← links)
- Definition:Partially Ordered Set (← links)
- Definition:Immediate Predecessor Element (← links)
- Definition:Immediate Successor Element (← links)
- Definition:Totally Ordered Set (← links)
- Definition:Chain (Order Theory) (← links)
- Definition:Well-Ordered Set (← links)
- Definition:Infinite Set (← links)
- Definition:Sequence (← links)
- Definition:Indexing Set (← links)
- Definition:Doubleton (← links)
- Definition:Free Variable (← links)
- Definition:Universal Set (← links)
- Definition:Sequence/Infinite Sequence (← links)
- Definition:Lexicographic Order (← links)
- Definition:Peano Structure (← links)
- Definition:Equivalence Relation Induced by Partition (← links)
- Definition:Extension of Mapping (← links)
- Definition:Finite Set (← links)
- Definition:Set/Definition by Predicate (← links)
- Definition:Supremum of Set (← links)
- Definition:Upper Bound of Set (← links)
- Definition:Lower Bound of Set (← links)
- Definition:Infimum of Set (← links)
- Definition:Restriction/Mapping (← links)
- Definition:Domain (Relation Theory)/Relation (← links)
- Definition:Domain (Relation Theory)/Mapping (← links)
- Definition:Finite Sequence (← links)
- Definition:Transitive Class (← links)
- Definition:Membership Relation (← links)
- Definition:Image (Relation Theory)/Mapping/Subset (← links)
- Definition:Greatest Element (← links)
- Definition:Smallest Element (← links)
- Definition:Successor Mapping/Successor Set (← links)
- Definition:Power (Algebra)/Natural Number (← links)
- Definition:Total Relation (← links)
- Definition:Precede (← links)
- Definition:Between (← links)
- Definition:Strictly Between (← links)
- Definition:Continuation of Woset (← links)
- Definition:Halmos Symbol (← links)
- Definition:Projection (Mapping Theory)/First Projection (← links)
- Definition:Projection (Mapping Theory)/Second Projection (← links)
- Definition:Cartesian Product/Finite (← links)
- Definition:Multiplication/Natural Numbers (← links)
- Definition:Indexing Set/Index (← links)
- Definition:Indexing Set/Indexed Set (← links)
- Definition:Indexing Set/Function (← links)
- Definition:Indexing Set/Term (← links)
- Definition:Pairwise Disjoint/Set of Sets (← links)
- Definition:Set Intersection/Set of Sets (← links)
- Definition:Set Intersection/Countable Intersection (← links)
- Definition:Set Union/Set of Sets (← links)
- Definition:Set Union/Countable Union (← links)
- Definition:Set Union/Finite Union (← links)
- Definition:Set Intersection/Finite Intersection (← links)
- Definition:Indexing Set/Family of Sets (← links)
- Definition:Projection (Mapping Theory)/Family of Sets (← links)
- Definition:Characteristic Function (Set Theory)/Set (← links)
- Definition:Symmetric Difference/Definition 1 (← links)
- Definition:Dual Ordering (← links)
- Definition:Strictly Precede/Definition 2 (← links)
- Definition:Lower Closure/Element (← links)
- Definition:Strict Ordering/Asymmetric and Transitive (← links)
- Definition:Well-Ordering/Definition 1 (← links)
- Definition:Cartesian Product of Family/Definition 1 (← links)
- Definition:Set Partition/Definition 1 (← links)
- Definition:Set Equality/Definition 1 (← links)
- Definition:Set Equality/Definition 2 (← links)
- Definition:Antisymmetric Relation/Definition 1 (← links)
- Definition:Coordinate System/Coordinate/Element of Ordered Pair (← links)
- Definition:Subset/Superset (← links)
- Definition:Set Union/Family of Sets/Subsets of General Set (← links)
- Definition:Set Intersection/Family of Sets/Subsets of General Set (← links)
- Definition:Predicate/Is of Identity (← links)
- Definition:Predicate/Is of Predication (← links)
- Definition:Symmetric Relation/Definition 1 (← links)
- Definition:Reflexive Relation/Definition 1 (← links)
- Definition:Reflexive Relation/Definition 2 (← links)
- Definition:Transitive Relation/Definition 1 (← links)
- Definition:Transitive Relation/Definition 2 (← links)
- Definition:Total Ordering/Definition 1 (← links)
- Definition:Ordering/Definition 1 (← links)
- Definition:Surjection/Definition 2 (← links)
- Definition:Symmetric Relation/Definition 3 (← links)
- Definition:Natural Numbers (← links)
- Definition:Set Union/Family of Sets/Two Sets (← links)
- Definition:Cartesian Product/Countable (← links)
- Definition:Natural Numbers/Von Neumann Construction (← links)
- Definition:Minimally Inductive Set/Definition 1 (← links)
- Definition:Strict Lower Closure/Element (← links)
- Definition:Indexing Set/Note on Terminology (← links)
- Definition:Indexing Set/Family (← links)
- Definition:Indexing Set/Family of Subsets (← links)
- Definition:Addition in Minimally Inductive Set (← links)
- Definition:Injection/Definition 1 a (← links)
- Definition:Ordered Tuple/Definition 2 (← links)
- Definition:Direct Image Mapping/Mapping (← links)
- Definition:Equivalence Relation/Definition 1 (← links)
- Definition:Minimal Element/Definition 1 (← links)
- Definition:Minimal Element/Definition 2 (← links)
- Definition:Minimal Element/Comparison with Smallest Element (← links)
- Definition:Maximal Element/Definition 1 (← links)
- Definition:Maximal Element/Definition 2 (← links)
- Definition:Maximal Element/Comparison with Greatest Element (← links)
- Definition:Natural Numbers/Notation (← links)
- Definition:Ordered Pair/Kuratowski Formalization (← links)
- Definition:Cardinality/Finite (← links)
- Definition:Mapping/Definition 1 (← links)
- Definition:Mapping/Definition 2 (← links)
- Definition:Language of Predicate Logic/Formal Grammar (← links)
- Definition:Image of Subset under Mapping/Notation (← links)
- Definition:Relation/Relation as Subset of Cartesian Product (← links)
- Definition:Halmos Symbol/Historical Note (← links)
- Definition:Element/Historical Note (← links)
- Definition:Image of Class under Mapping (← links)
- Definition:Composition of Mappings/Definition 1 (← links)
- Definition:Cartesian Product/Cartesian Space/Family of Sets/Definition 1 (← links)
- Definition:Set/Distinction between Element and Set (← links)
- Definition:Element/Also known as (← links)
- Definition:Inductive Set (← links)
- Definition:Set/Also known as (← links)
- Definition:Image of Subset under Mapping/Definition 1 (← links)
- Definition:Image of Subset under Mapping/Definition 2 (← links)
- Definition:Preimage of Subset under Mapping/Definition 1 (← links)
- Definition:Comparable Elements (← links)
- Definition:Inductive Set/Axiomatic Set Theory (← links)
- Definition:Diagonal Relation/Also known as (← links)
- Definition:Smallest Element/Also known as (← links)
- Definition:Choice Function/Power Set (← links)
- Definition:Range of Relation/Image (← links)
- Definition:Set Difference/Also known as (← links)
- Definition:Diagonal Operator (← links)
- Definition:Logical Connective/Also known as (← links)
- Definition:Well-Ordered Set/Also known as (← links)
- Definition:Left Haar Measure (← links)
- Definition:Proper Subset/Also known as (← links)
- Definition:Natural Numbers/Non-Zero (← links)
- Definition:Cartesian Product/Also known as (← links)
- Definition:Subset/Also known as (← links)
- Definition:Indexing Set/Also known as (← links)
- Definition:Null Relation/Also known as (← links)
- Definition:Halmos Symbol/Also known as (← links)
- Definition:Pairwise Disjoint/Also known as (← links)
- Definition:Ordering/Also known as (← links)
- Definition:Totally Ordered Set/Also known as (← links)
- Definition:Existential Quantifier/Semantics (← links)
- Definition:Relative Complement/Also known as (← links)
- Definition:Relative Complement/Notation (← links)
- Definition:Intersection of Set of Sets/Also denoted as (← links)
- Definition:Union of Set of Sets/Also denoted as (← links)
- Definition:Symmetric Difference/Also known as (← links)
- Definition:Universal Set/Also known as (← links)
- Book:Books (← links)
- Book:Paul R. Halmos/Naive Set Theory (← links)
- Book:Paul Halmos/Introduction to Boolean Algebras (← links)
- Book:Paul R. Halmos/Measure Theory (← links)
- Book:Books/Logic (← links)
- Book:Books/Set Theory (← links)
- Book:Books/Linear Algebra (← links)
- Book:Books/Analysis (← links)
- Book:Books/Historical (← links)
- Book:Paul R. Halmos/I Want To Be a Mathematician: An Automathography (← links)
- Book:Paul R. Halmos/Lectures on Boolean Algebras (← links)
- Book:Paul R. Halmos/A Hilbert Space Problem Book (← links)
- Book:Paul R. Halmos/A Hilbert Space Problem Book/Second Edition (← links)
- Mathematician:Paul Halmos (redirect page) (← links)
- Union is Associative (← links)
- Intersection is Associative (← links)
- Union is Commutative (← links)
- Intersection is Commutative (← links)
- Cancellation Laws (← links)
- Set Union is Idempotent (← links)
- Set Intersection is Idempotent (← links)
- Union with Empty Set (← links)
- Intersection with Empty Set (← links)
- Union Distributes over Intersection (← links)
- Intersection Distributes over Union (← links)
- Intersection with Universal Set (← links)
- Union with Universal Set (← links)
- Complement of Empty Set is Universal Set (← links)
- Complement of Universal Set is Empty Set (← links)
- Complement of Complement (← links)
- Intersection with Complement (← links)
- Union with Complement (← links)
- Equivalence Class holds Equivalent Elements (← links)
- Fundamental Theorem on Equivalence Relations (← links)
- Composite of Injections is Injection (← links)
- Composite of Surjections is Surjection (← links)
- Bijection iff Left and Right Inverse (← links)
- Cantor-Bernstein-Schröder Theorem (← links)
- Ring Product with Zero (← links)
- Product with Ring Negative (← links)
- Cartesian Product of Countable Sets is Countable (← links)
- Integer Multiplication is Commutative (← links)
- Integer Multiplication is Associative (← links)
- Integer Multiplication Distributes over Addition (← links)
- Integer Multiplication Identity is One (← links)
- Boolean Group is Abelian (← links)
- Integers are Countably Infinite (← links)
- Continuum Hypothesis (← links)
- Union of Empty Set (← links)
- Intersection of Empty Set (← links)
- Integer Addition is Commutative (← links)
- Integer Addition is Associative (← links)
- Integer Addition Identity is Zero (← links)
- Inverse for Integer Addition (← links)
- Real Numbers are Uncountably Infinite/Cantor's Diagonal Argument (← links)
- Inverse in Group is Unique (← links)
- Cartesian Product of Natural Numbers with Itself is Countable (← links)
- Countable Union of Countable Sets is Countable/Proof 1 (← links)
- Cartesian Product of Countable Sets is Countable/Corollary (← links)
- Transfinite Induction/Schema 2 (← links)
- Two Ring is Boolean Ring (← links)
- Idempotent Ring is Commutative (← links)
- Idempotent Ring has Characteristic Two (← links)
- Two-Valued Functions form Boolean Ring (← links)
- Ring of Idempotents is Idempotent Ring (← links)
- Ring of Idempotents of Commutative and Unitary Ring is Boolean Ring (← links)
- Boolean Ring has Proper Zero Divisor (← links)
- Power Set with Union and Intersection forms Boolean Algebra (← links)
- Complement of Bottom/Boolean Algebra (← links)
- Complement of Top/Boolean Algebra (← links)
- Identities of Boolean Algebra are also Zeroes (← links)
- Complement of Complement (Boolean Algebras) (← links)
- Operations of Boolean Algebra are Idempotent (← links)
- De Morgan's Laws (Boolean Algebras) (← links)
- Operations of Boolean Algebra are Associative (← links)
- Two is Boolean Algebra (← links)
- Two-Valued Functions form Boolean Algebra (← links)
- Power Set is Boolean Ring (← links)
- Power Set and Two-Valued Functions are Isomorphic Boolean Rings (← links)
- Cantor's Theorem/Proof 2 (← links)
- Rational Numbers are Countably Infinite/Proof 3 (← links)
- Cartesian Product of Countable Sets is Countable/Corollary/Proof 1 (← links)
- Equivalence Classes are Disjoint/Proof 2 (← links)
- De Morgan's Laws (Set Theory)/Set Complement/Complement of Intersection (← links)
- De Morgan's Laws (Set Theory)/Set Complement/Complement of Union (← links)
- Principle of Finite Induction (← links)
- Intersection of Empty Set/Paradoxical Implications (← links)
- De Morgan's Laws (Set Theory)/Set Complement/Complement of Intersection/Proof 1 (← links)
- De Morgan's Laws (Set Theory)/Set Complement/Complement of Intersection/Proof 2 (← links)
- Principle of Mathematical Induction/Zero-Based (← links)
- Principle of Finite Induction/Zero-Based (← links)
- Principle of Finite Induction/One-Based (← links)
- De Morgan's Laws (Set Theory)/Set Complement/Complement of Union/Proof 1 (← links)
- De Morgan's Laws (Set Theory)/Set Complement/Complement of Union/Proof 2 (← links)
- Talk:Countable Union of Countable Sets is Countable/Informal Proof (← links)
- Talk:Main Page/Archive 10 (← links)
- User:Lord Farin/Long-Term Projects/Givant-Halmos (← links)
- Axiom:Boolean Ring Axioms (← links)
- Axiom:Boolean Algebra/Axioms/Formulation 1 (← links)
- Definition:Element (← links)
- Definition:Empty Set (← links)
- Definition:Singleton (← links)
- Definition:Subset (← links)
- Definition:Set Union (← links)
- Definition:Set Intersection (← links)
- Definition:Set Difference (← links)
- Definition:Group (← links)
- Definition:Cartesian Product (← links)
- Definition:Equivalence Class (← links)
- Definition:Power Set (← links)
- Definition:Disjoint Sets (← links)
- Definition:Set Complement (← links)
- Definition:Proper Subset (← links)
- Definition:Identity Mapping (← links)
- Definition:Totally Ordered Set (← links)
- Definition:Ring (Abstract Algebra) (← links)
- Definition:Commutative Ring (← links)
- Definition:Null Ring (← links)
- Definition:Ring with Unity (← links)
- Definition:Infinite Set (← links)
- Definition:Cardinality (← links)
- Definition:Uncountable/Set (← links)
- Definition:Sequence (← links)
- Definition:Indexing Set (← links)
- Definition:Integer (← links)
- Definition:Rational Number (← links)
- Definition:Doubleton (← links)
- Definition:Isomorphism (Abstract Algebra)/Ring Isomorphism (← links)
- Definition:Extension of Mapping (← links)
- Definition:Proper Zero Divisor (← links)
- Definition:Successor Ordinal (← links)
- Definition:Finite Set (← links)
- Definition:Set/Definition by Predicate (← links)
- Definition:Restriction/Mapping (← links)
- Definition:Idempotence/Element (← links)
- Definition:Domain (Relation Theory)/Relation (← links)
- Definition:Image (Relation Theory)/Mapping/Element (← links)
- Definition:Halmos Symbol (← links)
- Definition:Preimage/Mapping/Element (← links)
- Definition:Image (Relation Theory)/Relation/Relation (← links)
- Definition:Indexing Set/Index (← links)
- Definition:Non-Null Ring (← links)
- Definition:Set Intersection/Set of Sets (← links)
- Definition:Set Union/Set of Sets (← links)
- Definition:Characteristic Function (Set Theory)/Set (← links)
- Definition:Boolean Ring (← links)
- Definition:Two (Boolean Algebra) (← links)
- Definition:Cardinal Number (← links)
- Definition:Symmetric Difference/Definition 1 (← links)
- Definition:Symmetric Difference/Definition 2 (← links)
- Definition:Transfinite Ordinal (← links)
- Definition:Transfinite Sequence (← links)
- Definition:Characteristic Function (Set Theory)/Set/Support (← links)
- Definition:Two Ring (← links)
- Definition:Idempotent Ring (← links)
- Definition:Two-Valued Function (← links)
- Definition:Ring of Idempotents (← links)
- Definition:Boolean Group (← links)
- Definition:Ordered Tuple as Ordered Set/Ordered Triple (← links)
- Definition:Ordered Tuple as Ordered Set/Ordered Quadruple (← links)
- Definition:Ordered Tuple as Ordered Set/Ordered Tuple (← links)
- Definition:Boolean Algebra/Definition 1 (← links)
- Definition:Degenerate Boolean Algebra (← links)
- Definition:Well-Ordering/Definition 1 (← links)
- Definition:Cartesian Product of Family/Definition 1 (← links)
- Definition:Ordinal/Definition 3 (← links)
- Definition:Countable Set/Definition 1 (← links)
- Definition:Set Partition/Definition 2 (← links)
- Definition:Set Equality/Definition 1 (← links)
- Definition:Set Equality/Definition 2 (← links)
- Definition:Antisymmetric Relation/Definition 1 (← links)
- Definition:Set Union/Family of Sets/Subsets of General Set (← links)
- Definition:Set Intersection/Family of Sets/Subsets of General Set (← links)
- Definition:Bijection/Definition 1 (← links)
- Definition:Characteristic of Ring/Definition 3 (← links)
- Definition:Symmetric Relation/Definition 1 (← links)
- Definition:Reflexive Relation/Definition 1 (← links)
- Definition:Transitive Relation/Definition 1 (← links)
- Definition:Total Ordering/Definition 1 (← links)
- Definition:Ordering/Definition 1 (← links)
- Definition:Surjection/Definition 1 (← links)
- Definition:Cartesian Product/Coordinate (← links)
- Definition:Minimally Inductive Set (← links)
- Definition:Inverse Mapping/Definition 1 (← links)
- Definition:Natural Numbers/Von Neumann Construction (← links)
- Definition:Minimally Inductive Set/Definition 3 (← links)
- Definition:Minimally Inductive Set/Definition 1 (← links)
- Definition:Set Union/Venn Diagram (← links)
- Definition:Set Intersection/Venn Diagram (← links)
- Definition:Set Difference/Venn Diagram (← links)
- Definition:Finite Ordinal (← links)
- Definition:Minimally Inductive Set/Definition 2 (← links)
- Definition:Symmetric Difference/Venn Diagram (← links)
- Definition:Indexing Set/Family (← links)
- Definition:Injection/Definition 1 (← links)
- Definition:Injection/Definition 4 (← links)
- Definition:Equivalence Relation/Definition 1 (← links)
- Definition:Ordered Pair/Informal Definition (← links)
- Definition:Ordered Pair/Kuratowski Formalization (← links)
- Definition:Mapping/Definition 1 (← links)
- Definition:Countably Infinite Set/Definition 1 (← links)
- Definition:Basis Expansion/Positive Real Numbers (← links)
- Definition:Basis Expansion/Negative Real Numbers (← links)
- Definition:Relation/Relation as Subset of Cartesian Product (← links)
- Definition:Halmos Symbol/Historical Note (← links)
- Definition:Composition of Mappings/Definition 1 (← links)
- Definition:Set/Distinction between Element and Set (← links)
- Definition:Non-Limit Ordinal (← links)
- Definition:Image of Subset under Mapping/Definition 1 (← links)
- Definition:Preimage of Subset under Mapping/Definition 1 (← links)
- Definition:Minimally Inductive Set/Nomenclature (← links)
- Definition:Limit Ordinal/Definition 2 (← links)
- Definition:Preimage of Element under Mapping/Also known as (← links)
- Definition:Set Complement/Notation (← links)
- Mathematician:Steven Roger Givant (← links)
- Mathematician:Leonard Jimmie Savage (← links)
- Book:Books (← links)
- Book:Paul Halmos/Introduction to Boolean Algebras (← links)
- Book:Paul R. Halmos/Finite-Dimensional Vector Spaces (← links)
- Book:Books/Logic (← links)
- Mathematician:Mathematicians/Sorted By Birthday/March (← links)
- Mathematician:Mathematicians/Sorted By Birth/1911 - 1920 CE (transclusion) (← links)