User contributions for Vesselin.atanasov

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

08:1408:14, 13 March 2023 diff hist +302 Open and closed maps I explained in the Talk section why replacing only the second "neighborhood" with "open neighborhood" is incorrect.

11:5311:53, 1 February 2023 diff hist +34 Separation axiom Amending the definition of "separated by a continuous function" to fix a problem with empty sets (for details please see talk page of Separated Sets). Rewording slightly the definition of "precisely separated by a continuous function" to match the other definition.
11:2411:24, 1 February 2023 diff hist +101 Separated sets Minor issue in the definition of separation by a continuous function (see talk page for details)
11:0511:05, 1 February 2023 diff hist +279 Talk:Separated sets →Incorrect definition of sets separated by a continuous function: Reply Tag: Reply

17:4417:44, 22 January 2023 diff hist +191 Comparison of topologies It doesn't matter which definition of "open map" we use.

22:3222:32, 21 January 2023 diff hist +1 m Separation axiom Grammatical subject-verb agreement

07:4507:45, 10 January 2023 diff hist +3 Continuous function The range of a function is not necessarily a topological space

15:3415:34, 2 November 2022 diff hist −66 Rasiowa–Sikorski lemma Original link was dead. Replaced it by a link to a paper from the same author who says that it is "an improved version of Forcing for dummies".

18:5218:52, 15 September 2020 diff hist −5 Upper and lower bounds Upper and lower bounds are also defined for preordered sets which are more general structures than partially ordered sets

09:4109:41, 25 February 2019 diff hist +481 Binary relation The weaker axiom of dependent choice is sufficient to prove the equivalence of conditions for well-foundedness. The full axiom of choice is sufficient but not required. Tag: Visual edit: Switched

10:2810:28, 20 February 2019 diff hist +466 Well-founded relation Added sources proving that ZF+DC+lack of infinite chains entails WF Tag: Visual edit: Switched

12:5412:54, 5 February 2019 diff hist +10 Well-founded relation Well-foundedness of a set follows from the axioms of ZF, plus the axiom of dependent choice, plus the lack of infinite descending chains. We don't need the full axiom of choice in this case. Tag: Visual edit

12:3912:39, 17 December 2017 diff hist +25 Well-founded relation "transitive closure of x" means a closure of set x, not a closure of the membership relation on x. In fact in most cases we wouldn't be able to close the membership relation transitively on an arbitrary set x. Tag: Visual edit