Re: How many different unit fractions are lessorequal than all unit fractions? (repleteness)

On 10/2/2024 10:01 PM, Ross Finlayson wrote:

On 10/02/2024 11:57 AM, Jim Burns wrote:

[...]

>
Such casual extensionality as
"these Q's are those Q's"
is certainly usual,

Since we aren't being lax here,
you should say
⎛ Such casual isomorphistry as
⎜ "these Q's are those Q's"
⎝ is certainly usual,
It is _up to isomorphism_ that
ℚ₀ is the same as ℚₛ =
{ {q′∈ℚ₀:q′<q}: q∈ℚ₀ }
ℝₛ = {open.foresplits of ℚ₀} =
{ S⊆ℚ₀: {}≠Sᵉᵃᶜʰ<ₑₓᵢₛₜₛSᵉᵃᶜʰ<ᵉᵃᶜʰℚ₀\S≠{} }
is the complete.ordered.field
ℚ₀ ⊈ ℝₛ
ℚₛ ⊆ ℝₛ
Sorry for any confusion caused by
my not.using the i.word earlier.

it's considered a lax sort of accommodation
that thereafter
that "all proofs reflecting on a model of Q
will be as entirely agnostic to
the actual set modeling Q
as any other may do,
only fulfilling the role of the model of Q
of representing structurally all the relations
of all the elements of Q
with all the elements
of all the elements
of other structures so related,
model theory".

When you say

it's considered a lax sort of accommodation

who is it who is doing this considering?
Are they unaware that
there are proofs of isomorphistry?
Do they consider proofs lax accommodation?

Then about how you find
properties of the function _in_ the limit
_as_ a limit,
it's that:
those properties don't exist at all,
that function doesn't exist at all
except _in the limit_.
Now, you're talking about
a family of functions that model
this not-a-real-function, in the limit,
yet, they are not it, in the limit.

Are you still talking there about
what you earlier were talking about in this way
⎛ the range of the function n/d
⎜ with 0 <= n < d and as d -> oo,
⎝ i.e., only in the infinite limit,
<RF>
Isn't
the range of n/d with 0≤n≤d
the set ⟨0/d,1/d,...,d/d⟩ ?
Isn't
limᵈᐧᐧᐧ⟨0/d,1/d,...,d/d⟩
the limit of a sequence of sets?
Is the limit you're talking about
some limᵈᐧᐧᐧ f(d) which _does not_ fall between
lim.infᵈᐧᐧᐧ f(d) and  lim.supᵈᐧᐧᐧ f(d) ?
What "limit" is it you're talking about?

This way the extent, density, completeness,
and measure, aren't from being the union
of ranges of functions that model it,
they're the infinite integers in it.

Ah, "infinite integers" is you brainstorming:
tossing creative options into the discussion.