用户: Scavenger/Recording Some Facts

Here is the place where I record some mathematics which I feel difficult to be found in the literature, or I consider current materials to be too messy.

Contents

	Basics for Logic
	Basics for Perfectoid Spaces
	Fiber Product of Perfectoid Spaces
	A Definition of Sites
	A Proof of Elkik’s Algebraization Theorem