Der Aussagenkalkül und die Topologie¶
Tarski, A. (1938). Der Aussagenkalkül und die Topologie. Fundamenta Mathematicae, 103-134.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Idempotence
- … theory**, idempotent functions on a partially ordered set are called closure operators — `cl(cl(S)) = cl(S)` — and provide the foundation for topology (closure of a set), formal-language theory (Kleene closure), and Galois connections, with Tarski (1935) and Kuratowski (1922) supplying the canonical axiomatizations
This source(Establishes closure operators `cl(cl(X)) = cl(X)` as foundational for topology, order theory, and Galois connections; idempotence as defining property.)
- … theory**, idempotent functions on a partially ordered set are called closure operators — `cl(cl(S)) = cl(S)` — and provide the foundation for topology (closure of a set), formal-language theory (Kleene closure), and Galois connections, with Tarski (1935) and Kuratowski (1922) supplying the canonical axiomatizations
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:731912f7a413 · see in the full table