<--- Back to Details
First PageDocument Content
Abstraction / Ordinal number / Partially ordered set / Completeness / Axiom of choice / Constructible universe / Total order / Well-order / Zermelo–Fraenkel set theory / Mathematical logic / Mathematics / Order theory
Date: 2012-09-12 10:28:54
Abstraction
Ordinal number
Partially ordered set
Completeness
Axiom of choice
Constructible universe
Total order
Well-order
Zermelo–Fraenkel set theory
Mathematical logic
Mathematics
Order theory

Add to Reading List

Source URL: www.math.uwaterloo.ca

Download Document from Source Website

File Size: 696,14 KB

Share Document on Facebook

Similar Documents

Mathematics / Matching / Combinatorics / Cooperative games / Game theory / Combinatorial optimization / Stable marriage problem / Partially ordered set

The Generalized Median Stable Matchings: finding them is not that easy Christine T. Cheng Department of Computer Science University of Wisconsin–Milwaukee, Milwaukee, WI 53211, USA.

DocID: 1roij - View Document

Mathematics / G2 / Octonions / Partially ordered set

Pseudo Boolean Programming for Partially Ordered Genomes Sébastien Angibaud1 , Guillaume Fertin1 , Annelyse Thévenin2 and Stéphane Vialette3 1

DocID: 1r0hn - View Document

Algebra / Abstract algebra / Mathematics / Algebraic topology / Algebraic geometry / Order theory / Partially ordered set / Simplicial set / Sheaf / Singular homology / Algebraic K-theory / Morphism of algebraic varieties

143 Documenta Math. Homology Stability for Unitary Groups B. Mirzaii, W. van der Kallen

DocID: 1qZiO - View Document

Fuzzy logic / Logic / Order theory / Mathematical logic / Abstraction / Artificial intelligence / Non-classical logic / Fuzzy set / T-norm / Partially ordered set / Fuzzy control system / Path ordering

Lexicographic Composition of Fuzzy Orderings Ulrich Bodenhofer Software Competence Center Hagenberg A-4232 Hagenberg, Austria

DocID: 1qMxj - View Document

Semantic Web / Ontology / Information science / Computing / World Wide Web Consortium / Minimal mappings / Lightweight ontology / Web Ontology Language / B-tree / Partially ordered set / Maximal element / Semantic matching

Computing minimal mappings between Lightweight Ontologies

DocID: 1qEN8 - View Document