Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Knaster–Tarski theorem · Vinony

🌐English

English Deutsch Español Français Italiano Nederlands Polski Português Türkçe Русский 한국어 中文日本語

EntityQ609612· pop 11· linked from 116 articles

Knaster–Tarski theorem

theorem in order and lattice theory

Connections

infimum and supremum

Categories

Fixed points (mathematics)Fixed-point theorems Order theory Theorems in the foundations of mathematics

Sources

wikipedia.externallinksexternallink

power set

Entity

monotonic function

partially ordered set

programming language semantics

computer science

International Standard Book Number

differential equation

digital object identifier

International Standard Serial Number

Cambridge University Press

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.50

complete lattice

Entitydist 0.55

integer lattice

Entitydist 0.57

Tarski's undefinability theorem

Entitydist 0.57

Paris–Harrington theorem

Entitydist 0.57

Lindenbaum–Tarski algebra

Entitydist 0.59

orthorhombic crystal system

Entitydist 0.60

Order of Merit of the Free State of Thuringia

Entitydist 0.61

Heyting algebra

Entitydist 0.61

topological order

Entitydist 0.61

Bravais lattice

Entitydist 0.63

cubic crystal system

Entitydist 0.64

What links here116 pages

Kruskal's tree theorem

Order embedding

well-founded relation

reflexive closure

Boolean prime ideal theorem

converse relation

complemented lattice

ordered vector space

Szpilrajn extension theorem

Bronisław Knaster

Kleene fixed-point theorem

Cantor–Bernstein–Schroeder theorem

binary relation