この一連の議論の結果、当初は開発計画への反対の姿勢を見せていた「南山の自然を守る会」は姿勢を転換し、宅地開発と緑地保全を可能な限り両立させられる案を模索。2002年11月には都市設計家の萬羽敏郎の協力を得て4種類の設計図を発表して市民の意見を募った。しかし地権者および市はA案からD案までの4つの市民案の実現は困難との認識を示した為、「南山の自然を守る会」は2004年5月に新たにE案と名付けられた設計図を「里山コモンズ案」として提示した。。このE案では地権者側の案である奥畑谷戸地区を5ヘクタール弱の都市公園として残すという考え方に対し、奥畑谷戸地区から西を全て里山として保全して、区画整理事業の対象とならない南山西部地区の里山と一体化して保全するという考え方が示されていたが、最終的にはこのプランも地権者側には受け入れられず、結局、奥畑谷戸地区の西側の住宅地内に小規模な雑木林を「コモンズ」として可能な限り保全するという妥協案がまとまった。こうして生まれた「里山コモンズ案」は現職の市長であった石川良一も応援するところとなり、2007年に行われた稲城市長選挙では石川良一（無所属）がコモンズ案の推進を公約に取り入れて、南山開発の中止を公約の一部で訴えた対抗候補の岡田隆郎（日本共産党推薦）を破り当選を果たした。この際には石川・岡田両候補が青年会議所主催の公開討論会に登場し、南山東部開発問題を巡って激論を戦わせた
長い閉半直線 L = ω₁ × [0,1) は、[0,1) を非可算個「繋ぎ合わせ」たものになっている。これは、任意の可算順序数 α に対して [0,1) の α 個の「繋ぎ合わせ」として得られる空間が、依然として [0,1) と同相かつ順序同型であること、および ω₁ よりも多くの数の [0,1) を「繋ぎ合わせ」たものがもはや実数直線 R との局所同相にすらならないことと対照的である。任意の L の元の増大列が L において収束することは次の事実からの帰結として得られる。 (1) ω₁ の元は、いずれも可算順序数である。 (2) 可算順序数からなる可算族の上限はふたたび可算順序数となる。 (3) 実数の有界増大列は収束する。 このことから、狭義単調増大関数 L → R は存在しないこともわかる。順序位相に関して、長い拡張半直線と長い直線は正規ハウスドルフ空間である。上述の長い空間はいずれも、実数直線よりも「長い」にもかかわらず、濃度はいずれも実数直線の濃度に等しい。また、これらの長い空間は何れも局所コンパクトであり、いずれも距離化不能である。距離化可能でないことは、長い半直線が点列コンパクトだが、コンパクトでないこと、あるいはリンデレフですらないことからわかる。（非拡張の）長い直線と長い半直線はパラコンパクトではなく、また弧状連結、局所弧状連結かつ単連結だが可縮ではない。これらは一次元位相多様体（長い半直線の場合は境界付き位相多様体）である。また、第一可算公理は満たすが、第二可算公理を満たさず、可分ではない（したがって、多様体の定義に可分性を課しているような文献であれば、長い直線は多様体とは言えない）。長い直線と長い半直線は、（非可分な）可微分多様体（半直線の場合は境界付き可微分多様体の構造を持つこともできる。しかし、一意に定まる位相構造の場合（位相的には、実数直線の何れかの端を「長く」するという方法しかない）と異なり、可微分構造は一意的でない。実は、任意の自然数 k に対して、長い（半）直線上の与えられた Cᵏ-級構造が誘導するCᵏ⁺¹-級あるいは C∞-級構造は無数に存在する。これは k ≥ 1 ならばただちに Cᵏ-級構造から C∞-級構造が一意に決定されるという通常の（つまり可分な）多様体の場合とは、強く対照をなす事実である。上述の各種長い空間を一緒に考えることには意味がある。というのも、空でない、連結で、一次元の、必ずしも可分でない、（境界付き）位相多様体は、円周、閉区間、開区間（あるいは実数直線）、半開区間、長い閉半直線、長い開半直線、長い直線のいずれかに同相となるからである。長い（半）直線には、実解析多様体（半直線の場合は境界付き実解析多様体）の構造さえ入れることができるが、それは可微分構造を入れる場合と比べてもより難しい。これは、一次元（可分）解析多様体の分類を用いる必要があるが、それが可微分多様体の分類と比べて困難なためである。また先の場合と同様、与えられた C∞-級構造を拡張する方法が無数に存在して、無数の相異なる Cω-級構造（つまり実解析的構造）を入れることができる。長い（半）直線は、その位相（順序位相）を誘導するようなリーマン計量を持たない。なぜなら、リーマン多様体は連結なら（パラコンパクトの仮定なしでも）距離づけ可能なことが示せるからである。長い拡張半直線 L∗ はコンパクトである。これは長い閉半直線Lの一点コンパクト化であるが、同時にストーン-チェックコンパクト化でもある（なぜならば、開または閉の長い半直線から実数直線への任意の連続関数は結局のところ定数函数となるからである）。また、L∗ は、連結だが（「長すぎ」て、区間の連続像である線分で覆いきることはできないので）弧状連結でない。L∗ は多様体でなく、第一可算でもない。