trustme.bro/r/…
✓ checked
trust me, bro:
here is the receipt.
the claim
A totally ordered set with a last element but no first element is logically possible
the verdict
CONTESTED
contested - the weight sits with the supporting side
refutedsupported
the weight of evidence
2 sources for · 0 against

The available mathematical sources discuss properties of totally ordered sets such as having a first element without a last element, but do not provide explicit support for the existence of a totally ordered set with a last element and no first element.

Evidence for · 2
The completion of an ordered set
cited by 0
The author proves the classical theorems stating that each totally ordered set has a completion and that a complete, separable, order-dense set without a first or last element is order-isomorphic to the reals.
See more details
The analysis

rails:sufficiency:supported:for=2+0p:against=0+0p | v55:sufficiency | v55:coherence_repaired:what=both

More for · 1
The vastness of natural languages
cited by 0
integers, a totally ordered set with a first element (0) but no last element, based on … X o( a lin- early ordered set A there is a first element and a last element. 168 CHARACTERIZATION … equal to) of arithmetic, with no first element but a last element. (9c) is a total order
Everything we examined (2)
This check searched the claim as stated. It did not run a separate search for evidence against it.
  1. The completion of an ordered setpeer-reviewedno side taken
  2. The vastness of natural languagesreferenceno side taken
This receipt carries no identity, shared or not. Sharing publishes your connection to it, not your data.
Check your own claim
Challenge the receipt
trust me, bro: win the argument, pass the class, survive peer review.
This receipt is an automated verdict against our published method · not an opinion about any author or publication.
Terms · Privacy · How verdicts work · Dispute this receipt