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
Generalizations of the one-dimensional version of the Kruskal-Friedman theorems	1989-01-01	Paper
Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees	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/Q4135477	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4132504	1977-01-01	Paper

Research outcomes over time

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