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

Personal profile

Research interests

Philosophy of mathematics, foundations of mathematics, philosophy of language, logic, ontology, metaphysics, theory of knowledge, philosophy of science, type theory, proof, formal proof, modal logic, metatheorems, deflationism, theory of meaning, theory of reference, truth, semantics, definite descriptions.

Education/Academic qualification

Philosophy, Candidate

26 Nov 2010 → …

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Type Theory Mathematics
Program Correctness Mathematics
Set Theory Mathematics
Deflationism Arts & Humanities
Deflationary Theories Arts & Humanities
Classical Logic Mathematics
Theory of Truth Arts & Humanities
Quantification Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2008 2021

ScalPL : A Scalable Programming Language

Osterman, K. & Ламберов, Л. Д.

01/10/200830/09/2014

Project: Award Project

Research Output 2012 2018

Type Theory
Classical Logic
Set Theory
Quantification
Philosophy
Philosophy of Mathematics
Foundations of Mathematics
Constructivist
Axiom
Isomorphism

ОСНОВАНИЯ МАТЕМАТИКИ: ТЕОРИЯ МНОЖЕСТВ VS. ТЕОРИИ ТИПОВ

Ламберов, Л. Д., 2017, In : Философия науки. 1 (72), p. 41-60 20 p.

Research output: Contribution to journalArticleResearchpeer-review

Type Theory
Set Theory
Homotopy Theory
Homotopy Type

Activities 2018 2019

  • 2 Participation in conference