If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Лев Дмитриевич Ламберов is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Mathematics

Type Theory
Program Correctness
Set Theory
Classical Logic
Quantification
Formal Proof
Proof of correctness
Homotopy Theory
Context
Homotopy Type
Categorical
Philosophy
Concepts

Arts & Humanities

Deflationism
Deflationary Theories
Theory of Truth
Frege-Geach Problem
Conception
Philosophy of Mathematics
Theory of Reference
Metaphysics
Foundations of Mathematics
Logic
Metaphysical
Philosophy of Language
Contextuality
Theory of Meaning
Deflationist
Ontology
Philosophy of Science
Theory of Knowledge
Modal Logic
Proof Theory
Definite Descriptions
Epistemicism
Realism
Anti-realism
Paradox
Non-cognitivism
Equivalence