Torrens titleTorrens title is a land registration and land transfer system, in which a state creates and maintains a register of land holdings, which serves as the conclusive evidence (termed "indefeasibility") of title of the person recorded on the register as the proprietor (owner), and of all other interests recorded on the register. Ownership of land is transferred by registration of a transfer of title, instead of by the use of deeds. The Registrar provides a Certificate of Title to the new proprietor, which is merely a copy of the related folio of the register.
Mathematical logicMathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics.
Nowhere dense setIn mathematics, a subset of a topological space is called nowhere dense or rare if its closure has empty interior. In a very loose sense, it is a set whose elements are not tightly clustered (as defined by the topology on the space) anywhere. For example, the integers are nowhere dense among the reals, whereas the interval (0, 1) is not nowhere dense. A countable union of nowhere dense sets is called a meagre set. Meagre sets play an important role in the formulation of the , which is used in the proof of several fundamental results of functional analysis.
Land registrationLand registration is any of various systems by which matters concerning ownership, possession, or other rights in land are formally recorded (usually with a government agency or department) to provide evidence of title, facilitate transactions, and prevent unlawful disposal. The information recorded and the protection provided by land registration varies widely by jurisdiction.
