56 results in Lecture Notes in Logic
The Largest Suslin Axiom
-
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024
A Theory of Truth
-
- Published online:
- 07 October 2023
- Print publication:
- 12 October 2023
A Comparison Process for Mouse Pairs
-
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond
-
- Published online:
- 25 June 2022
- Print publication:
- 07 July 2022
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond
-
- Published online:
- 25 June 2022
- Print publication:
- 07 July 2022
Complexity of Infinite-Domain Constraint Satisfaction
-
- Published online:
- 28 May 2021
- Print publication:
- 10 June 2021
Large Cardinals, Determinacy and Other Topics
- The Cabal Seminar, Volume IV
-
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020
Algorithmic Randomness
- Progress and Prospects
-
- Published online:
- 07 May 2020
- Print publication:
- 07 May 2020
Abstract Recursion and Intrinsic Complexity
-
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
-
- Published online:
- 30 August 2017
- Print publication:
- 17 August 2017
Descriptive Set Theory and Forcing
- How to Prove Theorems about Borel Sets the Hard Way
-
- Published online:
- 24 March 2017
- Print publication:
- 18 May 2017
Fine Structure and Iteration Trees
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
Gödel '96
- Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy
-
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017
Logic Colloquium '96
- Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
Logic Colloquium '95
- Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
Aspects of Incompleteness
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
Model Theory of Fields
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
Bounded Variable Logics and Counting
- A Study in Finite Models
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
Recursion Theory
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
The Core Model Iterability Problem
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017