# 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.

- Sort by
- Weight
- Alphabetically

### 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