Ask & Answers ag.algebraic geometry – How mighty does the formal completion know in regards to the ambient selection? Answer

Ask & Answers at.algebraic topology – Comparison: Formal Wirthmüller isomorphism of Fausk-Hu-May vs. Balmer et. al Answer

Ask & Answers ag.algebraic geometry – Quasi-separated rigid-analytic house and not using a formal mannequin? Answer

Ask & Answers lo.logic – Are there “typical” formal programs which have mutual consistency proofs? How lengthy a train of those can we construct? Answer

Ask & Answers lo.logic – Are there “typical” formal programs which have mutual constency proofs? How lengthy a train of those can we construct? Answer

Ask & Answers oa.operator algebras – When the adjoint of an unbounded operator on a Hilbert house coincides with the formal adjoint on its unaffected province? Answer