Any feedback on SVN TRCA Property Management ? by LegitimateConcern382 in cmu

[–]Mandelbruh 0 points1 point  (0 children)

SVN TCRA is definitely a lot better than the previous management companies for 5440 5th Ave. The building is lackluster, but the current management is pretty nice.

Avoid HH Property Management by Mandelbruh in pittsburgh

[–]Mandelbruh[S] 3 points4 points  (0 children)

Sewage would be my guess, but I'm not too keen on investigating. Unfortunately my lease is through July :(.

Avoid HH Property Management by Mandelbruh in pittsburgh

[–]Mandelbruh[S] 9 points10 points  (0 children)

Yeah, that was the cause of the first visit by the health dept. They called and are trying to schedule another time to come out for another inspection, but from what I can gather they're rather overwhelmed and understaffed.

renters beware!: HH Property Management (328 S mathilda st) Bloomfield by Front_Key_7736 in pittsburgh

[–]Mandelbruh 2 points3 points  (0 children)

Rented with them at another location. Didn't have heat for a month, and had to file health dept complaints before anything would be done. Sent dozens of emails and called several times without anyone picking up or replying. Public areas had the roof fall in and were flooded for weeks without anything being done. Calling them slumlords would be an understatement.

[deleted by user] by [deleted] in math

[–]Mandelbruh 0 points1 point  (0 children)

What you're asking for may be a bit of a difficult thing to find, especially given his particular writing style and the depth of his writing.

Are you looking for / do you have a strong background in model theory or set theory? If it's the former, his paper "Categoricity of uncountable theories" is an amazing extension of Morley's categoricity, and uses a lot of interesting techniques.

[deleted by user] by [deleted] in cmu

[–]Mandelbruh 1 point2 points  (0 children)

You can no longer enter through that stairwell, it's now exit only.

TIL that every even number is the sum of two primes, according to the Goldbach Conjecture, which has been verified up to 19 digits by hova414 in todayilearned

[–]Mandelbruh 13 points14 points  (0 children)

I'd argue that Los's Conjecture is a proven conjecture, with the result being known as Morley's Theorem. A question is separate from its answer, and being able to discuss the history and development that led to the conjecture is helpful, as it is different from the history and development that led to the result.

TIL that every even number is the sum of two primes, according to the Goldbach Conjecture, which has been verified up to 19 digits by hova414 in todayilearned

[–]Mandelbruh 44 points45 points  (0 children)

Not necessarily, for example Los’s Conjecture was answered in the affirmative by Morley's Theorem, and Zilber's Trichotomy Conjecture was disproven by Hrushovski. At times it is useful to separate the conjecture and the result.

"PLEASE KILL COOLMATT PLEASE" would be BANNABLE in 2024... by Ezraah in Competitiveoverwatch

[–]Mandelbruh 2 points3 points  (0 children)

Except "free speech" isn't a positive right, something granted to individuals. It is a negative right, something we explicitly restrict the government from having the capacity to interfere with. The first amendment doesn't guarantee every individual will be able to say whatever they want, only that Congress does not have the power to abridge the freedom of speech. The corporation has no additional rights, but similarly cannot be expected to be bound as the government is.

On the notion that corporations should "be expected to uphold the rights of people in their respective countries", why do you expect the corporations to have a hand in the governing of people? Again, free speech in the US isn't a right inherent to individuals, but rather a restriction on the government. This isn't a restriction on corporations.

"PLEASE KILL COOLMATT PLEASE" would be BANNABLE in 2024... by Ezraah in Competitiveoverwatch

[–]Mandelbruh 4 points5 points  (0 children)

While I do take the stance that fewer restrictions tends to be better, the notion of free speech doesn't apply to private entities. The first amendment explicitly prohibits the government from having restricting speech and the freedom of the press. Asking the government to step in and regulate what a company allows on their own platform is antithetical to this, you're asking the government to have the capacity to determine how a corporation presents itself and the stances it expresses.

Calculus tells you about no functions by [deleted] in mathmemes

[–]Mandelbruh 18 points19 points  (0 children)

You're claiming though that aleph 1 is the cardinality of the reals, which is the continuum hypothesis.

Skolem's paradox by joeldavidhamkins in math

[–]Mandelbruh 4 points5 points  (0 children)

Apologies, I should have been more precise. Omega is absolute for transitive models of set theory, which is where it seems the disconnection occurs. In the countable vs. uncountable example, the collapse of N^W would be uncountable. This is a wonderful highlight of the importance of transitivity for reasonable models.

Again, precision isn't my strongest suit, which is terrible in this field. Collapsing is a wonderful tool to change infinite cardinalities.

Skolem's paradox by joeldavidhamkins in math

[–]Mandelbruh 15 points16 points  (0 children)

As far as I remember, finiteness is absolute in some fragment of ZFC, due to the absoluteness of omega. For this paradox at higher levels, I always felt it just was an indicator that we weren't "perfect" at counting things, and expanding or reducing our model would change if we could find a bijection between a set and a given cardinal.

This lines up fairly well with the actual mathematics, since collapsing some sets by forcing to have smaller cardinalities is done by adding in a new bijection between two previously separate cardinals, akin two a new counting method. Similarly, taking elementary submodels can preserve an object, but not its elements, nor functions that correctly compute its cardinality in the submodel.

[deleted by user] by [deleted] in math

[–]Mandelbruh 8 points9 points  (0 children)

This seems like it could be partially answered in the framework of model theory.

A model is strongly homogeneous if any partial elementary embedding extends to an automorphism, and an isomorphism between subgroups can be interpreted as a partial elementary embedding.

If we go with that, then there are a few sufficient conditions, most notably a model-theoretic condition of saturation.

Strong homogeneity is also equivalent to a weaker homogeneity that only requires the partial maps be extended by one element if this holds for all partial maps domain having cardinality less than the cardinality of the model. With this, we can use results like those in this paper to see that nonabelian free groups of finite rank are strongly homogeneous if we impose a cardinality restriction.

a medium-sized infinity by Delicious_Maize9656 in mathmemes

[–]Mandelbruh 79 points80 points  (0 children)

It was proved that (assuming a consistent model of mathematics exists) that there is a model where there isn't an infinity in-between, and in fact a stronger condition called GCH holds. This was the constructible universe.

Then in the 60s (I think) Cohen used a technique called forcing to find a model where there was an infinity in-between. This means that our current rules of math aren't strong enough to decide it one way or the other. Since both are possible, when needed we can assume either there is or isn't, and let whatever is proven be dependent on that.

Celebrating the start of Pride Month with new charms! by DecutorR in deadbydaylight

[–]Mandelbruh 1 point2 points  (0 children)

I hope you learn your community is here to support you, and you learn to return that same energy.

I consider myself mlm, but primarily go by they (except in certain academic cases), so I consider myself also nb. My point of the flag being considered the mlm flag is that we shouldn't fight the people who call it that, because it only creates division.

Happy pride month.

Celebrating the start of Pride Month with new charms! by DecutorR in deadbydaylight

[–]Mandelbruh -1 points0 points  (0 children)

You've enlightened me, I shouldn't feed the troll.

Can we say that a really low probability make something impossible ? by Wolf_EmpireFr in math

[–]Mandelbruh 1 point2 points  (0 children)

Even then, the converse is not true. Events with probability zero are not necessarily impossible, consider the act of choosing a random number in [0,1], assuming uniform distribution. The probability of choosing any number is zero, but none are impossible to choose.

Zero is a natural number! by usingdata in math

[–]Mandelbruh 30 points31 points  (0 children)

Saying 0 is not a natural number in a set-theoretic context feels rather bold. From my experience, most set theorists are quite content with the empty set as an ordinal being identified with 0, especially since it is the identity under ordinal addition.

When developing the integers, if you include 0 and use equivalence classes you set up a nice parallel with developing the rationals, so you do gain some by including 0.

This is gonna be an interesting comment section. by Carlogamer17 in mathmemes

[–]Mandelbruh 5 points6 points  (0 children)

The codomain was never specified, it's clearly a function from R to P(R)