2000 character limit reached
A nonstandard proof for Szpilrajn's theorem (1603.02469v1)
Published 8 Mar 2016 in math.LO
Abstract: Recall that Szpilrajn (1930) ([4], [5]) states that on a given set, any partial order can be extended to a total order on the same set. In this work we give, in the context of the IST theory ([2],[3],[6]), a more constructive proof for this theorem. In addition, we benefit of the tools used to give some other results.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Collections
Sign up for free to add this paper to one or more collections.
