Lecture Notes in Logic

0.1(top 100%)

impact factor

110(top 100%)

papers

776(top 50%)

citations

14(top 50%)

h-index

0.2(top 100%)

extended IF

167

all documents

849

doc citations

27(top 50%)

g-index

Top Articles

#	Title	Journal	Year	Citations
1	Fine Structure and Iteration Trees	Lecture Notes in Logic	1994	117
2	The Core Model Iterability Problem	Lecture Notes in Logic	1996	110
3	Infinite-valued Gödel Logics with 0-1-Projections and Relativizations	Lecture Notes in Logic	1996	62
4	Descriptive Set Theory and Forcing	Lecture Notes in Logic	1995	43
5	Aspects of Incompleteness	Lecture Notes in Logic	1997	38
6	Uniform Interpolation and Layered Bisimulation	Lecture Notes in Logic	1996	25
7	Arithmetizing proofs in analysis	Lecture Notes in Logic	1998	20
8	The Analytical Hierarchy	Lecture Notes in Logic	1993	20
9	Kurt Gödel and the Consistency of R##	Lecture Notes in Logic	1996	20
10	Towards a Categorical Foundation of Mathematics	Lecture Notes in Logic	1998	19
11	Recursion Theory	Lecture Notes in Logic	1993	18
12	Model Theory of Differential Fields	Lecture Notes in Logic	1996	15
13	Some model theory of separably closed fields	Lecture Notes in Logic	1996	12
14	Gödel’s program for new axioms: Why, where, how and what?	Lecture Notes in Logic	1996	10
15	Gödel’s Ontological Proof Revisited	Lecture Notes in Logic	1996	8
16	Free monoid completeness of the Lambek calculus allowing empty premises	Lecture Notes in Logic	1998	8
17	Replacement↛ Collection	Lecture Notes in Logic	1996	7
18	Combinatorial Principles from Adding Cohen Reals	Lecture Notes in Logic	1998	7
19	The Higher Infinite in Proof Theory	Lecture Notes in Logic	1998	6
20	There May Be No Nowhere Dense Ultrafilter	Lecture Notes in Logic	1998	6
21	Complete Sets and Structure in Subrecursive Classes	Lecture Notes in Logic	1998	6
22	Introduction to the Model Theory of Fields	Lecture Notes in Logic	1996	6
23	Differential algebraic groups and the number of countable differentially closed fields	Lecture Notes in Logic	1996	6
24	How to characterize provably total functions by the Buchholz operator method	Lecture Notes in Logic	1996	6
25	A Bounded Arithmetic Theory for Constant Depth Threshold Circuits	Lecture Notes in Logic	1996	6
26	V=L and Maximize	Lecture Notes in Logic	1998	5
27	Towards Recursive Model Theory	Lecture Notes in Logic	1998	5
28	Best possible answer is computable for fuzzy SLD-resolution	Lecture Notes in Logic	1996	4
29	Types and Indiscernibles in Finite Models	Lecture Notes in Logic	1998	4
30	Simple groups definable in O-minimal structures	Lecture Notes in Logic	1998	4
31	Information content and computational complexity of recursive sets	Lecture Notes in Logic	1996	3
32	Contributions of K. Gödel to Relativity and Cosmology	Lecture Notes in Logic	1996	3
33	Forcing on Bounded Arithmetic	Lecture Notes in Logic	1996	2
34	Strongly Minimal Sets and Geometry	Lecture Notes in Logic	1998	2
35	Computationally-Sound Proofs	Lecture Notes in Logic	1998	2
36	Kernels and cohomology groups for some finite covers	Lecture Notes in Logic	1998	2
37	Incompleteness	Lecture Notes in Logic	1997	1
38	A bottom-up approach to foundations of mathematics	Lecture Notes in Logic	1996	1
39	Beyond Gödel’s Theorem: Turing Nonrigidity Revisited	Lecture Notes in Logic	1998	1
40	Extensions of Models of PV	Lecture Notes in Logic	1998	1
41	On “star” schemata of Kossak and Paris	Lecture Notes in Logic	1998	1
42	Two-Dimensional Temporal Logic	Lecture Notes in Logic	1998	1
43	Noninterpretability of Infinite Linear Orders	Lecture Notes in Logic	1998	1
44	Intervals Without Critical Triples	Lecture Notes in Logic	1998	1
45	The Number of Path-Components of a Compact Subset of ℝ n	Lecture Notes in Logic	1998	1
46	The Basic Machine	Lecture Notes in Logic	1993	0
47	Functions and Relations	Lecture Notes in Logic	1993	0
48	Church’s Thesis	Lecture Notes in Logic	1993	0
49	Evaluation of Degrees	Lecture Notes in Logic	1993	0
50	Recursively Enumerable Relations	Lecture Notes in Logic	1993	0

Scientometrics

Overviews

Citing Bodies

Lecture Notes in Logic

Top Articles