L. N. Gordeev

Available identifiers

zbMath Open gordeev.levMaRDI QIDQ1147136

List of research outcomes

Publication	Date of Publication	Type
Proof Compression and NP Versus PSPACE II: Addendum	2024-02-29	Paper
https://portal.mardi4nfdi.de/entity/Q4994969	2021-06-22	Paper
Proof Compression and NP Versus PSPACE II	2021-01-28	Paper
Strong WQO Tree Theorems	2020-07-08	Paper
Proof compression and NP versus PSPACE	2019-05-15	Paper
On strong normalization in proof-graphs for propositional logic	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q2959916	2017-02-10	Paper
Proof-theoretic conservations of weak weak intuitionistic constructive set theories	2015-08-27	Paper
Phase transitions of iterated Higman-style well-partial-orderings	2012-02-10	Paper
A note on da Costa-Doria ``exotic formalizations	2010-10-27	Paper
Proof compressions with circuit-structured substitutions	2010-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q4474835	2004-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4436031	2003-11-23	Paper
Finite methods in 1-order formalisms	2002-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4329274	2002-04-29	Paper
Variable compactness in 1-order logic	2000-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q4250044	1999-10-11	Paper
A modified sentence unprovable in PA	1995-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q4273865	1995-03-15	Paper
Generalizations of the Kruskal-Friedman theorems	1990-01-01	Paper
Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees	1989-01-01	Paper
Generalizations of the one-dimensional version of the Kruskal-Friedman theorems	1989-01-01	Paper
Proof-theoretical analysis: Weak systems of functions and classes	1988-01-01	Paper
On cut elimination in the presence of perice rule	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3037432	1982-01-01	Paper
A majorizing semantics for hyperarithmetic sentences	1981-01-01	Paper
An approach to the constructivization of Cantor's set theory	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4132504	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4135477	1977-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: L. N. Gordeev