- The Determinacy of Context-Free Games Olivier Finkel Thu 12 February 2026
- The Klein j-Function is not Pfaffian over the Real Exponential Field Christoph Kesting Thu 05 February 2026
- Not Pfaffian James Freitag Thu 05 February 2026
- Analytic Nullstellensatze and the model theory of valued fields Matthias Aschenbrenner Ahmed Srhir Mon 03 November 2025
- On the computability of conditional probability Nathanael L. Ackerman Cameron E. Freer Daniel M. Roy Sat 05 July 2025
- Axiomatizing the existential theory of Fq((t)) Sylvy Anscombe Philip Dittmann Arno Fehm Mon 12 May 2025
- The existential theory of equicharacteristic henselian valued fields Sylvy Anscombe Arno Fehm Mon 12 May 2025
- Interpretations of syntactic fragments of theories of fields Sylvy Anscombe Arno Fehm Mon 12 May 2025
- On the existential theory of the completions of a global field Philip Dittmann Arno Fehm Mon 12 May 2025
- Undecidability of expansions of Laurent series fields by cyclic discrete subgroups Leo Gitin Mon 12 May 2025
- Model completeness and quantifier elimination for (ordered) central simple algebras with involution Vincent Astier Sat 05 April 2025
- Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof Manfred Borzechowski Malvin Gattinger Helle Hvid Hansen Revantha Ramanayake Valentina Trucco Dalmas Yde Venema Sat 05 April 2025
- Borel Determinacy: A Streamlined Proof Thomas Buffard Gabriel Levrel Sam Mayo Mon 10 March 2025
- A formalization of Borel determinacy in Lean Sven Manthe Mon 10 March 2025
- The Borel monadic theory of order is decidable Sven Manthe Mon 10 March 2025
- Twin-width and types Jakub Gajarský Michał Pilipczuk Wojciech Przybyszewski Szymon Toruńczyk Sun 09 March 2025
- Existential and positive games: a comonadic and axiomatic view Samson Abramsky Thomas Laure Luca Reggio Sun 09 March 2025
- Weihrauch problems as containers Cécilia Pradic Ian Price Fri 31 January 2025
- The equational theory of the Weihrauch lattice with (iterated) composition Cécilia Pradic Fri 31 January 2025
- Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO Nikolas Mahlmann Wed 29 January 2025
- The Alternation Hierarchy of First-Order Logic on Words is Decidable Corentin Barloy Michael Cadilhac Charles Paperman Howard Straubing Wed 29 January 2025
- Exact Exploration Andreas Blass Nachum Dershowitz Yuri Gurevich Sat 26 October 2024
- Equations in wreath products Laurent Bartholdi Ruiwen Dong Leon Pernak Jan Philipp Wachter Sat 12 October 2024
- Algebraically universal categories of relational structures Ioannis Eleftheriadis Wed 02 October 2024
- First-Order Model Checking on Monadically Stable Graph Classes Jan Dreier Ioannis Eleftheriadis Nikolas Mahlmann Rose McCarty Michał Pilipczuk Szymon Toruńczyk Wed 02 October 2024
- A Cobham theorem for scalar multiplication Philipp Hieronymi Sven Manthe Chris Schulz Wed 31 July 2024
- Domain theory in univalent foundations I: Directed complete posets and Scott's Dinfty Tom de Jong Thu 11 July 2024
- Domain theory in univalent foundations II: Continuous and algebraic domains Tom de Jong Martín Høtzel Escardó Thu 11 July 2024
- Left-Linear Rewriting in Adhesive Categories Paolo Baldan Davide Castelnovo Andrea Corradini Fabio Gadducci Thu 11 July 2024
- Guarded Successor: A Novel Temporal Logic Ohad Asor Thu 11 July 2024
- Computable one-way functions on the reals George Barmpalias Xiaoyan Zhang Thu 27 June 2024
- The strength of the dominance rule Leszek Aleksander Kołodziejczyk Neil Thapen Sun 23 June 2024
- Lindenmayer graph languages, first-order theories and expanders Teodor Knapik Thu 30 May 2024
- Equivalence and Conditional Independence in Atomic Sheaf Logic Alex Simpson Wed 22 May 2024
- Decidability of the theory of addition and the Frobenius map in rings of rational functions Dimitra Chompitaki Manos Kamarianakis Thanases Pheidas Fri 17 May 2024
- Monoidal bicategories, differential linear logic, and analytic functors M. Fiore N. Gambino M. Hyland Thu 16 May 2024
- An efficient quantifier elimination procedure for Presburger arithmetic Christoph Haase Shankara Narayanan Krishna Khushraj Madnani Om Swostik Mishra Georg Zetzsche Wed 08 May 2024
- Logical Characterizations of Weighted Complexity Classes Guillermo Badia Manfred Droste Carles Noguera Erik Paul Wed 08 May 2024
- A proof theory of (omega-)context-free languages, via non-wellfounded proofs Anupam Das Abhishek De Tue 30 April 2024
- Periods, Power Series, and Integrated Algebraic Numbers Tobias Kaiser Mon 29 April 2024
- Pi2^P vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem Dmitriy Zhuk Thu 18 April 2024
- Function spaces for orbit-finite sets Mikołaj Bojańczyk Lê Thành Dũng Nguyên Rafał Stefański Thu 18 April 2024
- Linear Arboreal Categories Samson Abramsky Yoàv Montacute Nihil Shah Sat 06 April 2024
- Decidability of extensions of Presburger arithmetic by generalised polynomials Jakub Konieczny Tue 02 April 2024
- The equational theory of the Weihrauch lattice with multiplication Eike Neumann Arno Pauly Cécilia Pradic Tue 26 March 2024
- Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes Jan Dreier Nikolas Mahlmann Szymon Toruńczyk Tue 26 March 2024
- Extensions and Limits of the Specker-Blatter Theorem Eldar Fischer Johann A. Makowsky Sun 11 February 2024
- Elementary first-order model checking for sparse graphs Jakub Gajarský Michał Pilipczuk Marek Sokołowski Giannos Stamoulis Szymon Toruńczyk Thu 01 February 2024
- A proof theory of right-linear (omega-)grammars via cyclic proofs Anupam Das Abhishek De Tue 30 January 2024
- In Memory of Martin Davis Wesley Calvert Valentina Harizanov Eugenio G. Omodeo Alberto Policriti Alexandra Shlapentokh Sat 20 January 2024
- Monadic stability and growth rates of ømega-categorical structures Samuel Braunfeld Wed 29 November 2023
- On the Metric Temporal Logic for Continuous Stochastic Processes Mitsumasa Ikeda Yoriyuki Yamagata Takayuki Kihara Sat 25 November 2023
- The umbilical cord of finite model theory Yuri Gurevich Sun 19 November 2023
- A new proof of Euclid's algorithm Andrzej Salwicki Mon 06 November 2023
- Lovász-Type Theorems and Game Comonads Anuj Dawar Tomáš Jakl Luca Reggio Sun 05 November 2023
- Dynamic Logics of Dynamical Systems André Platzer Fri 01 September 2023
- Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula Sagar Malhotra Luciano Serafini Thu 06 July 2023
- Positive First-order Logic on Words and Graphs Denis Kuperberg Fri 26 May 2023
- Quantifying over Trees in Monadic Second-Order Logic Massimo Benerecetti Laura Bozzelli Fabio Mogavero Adriano Peron Fri 28 April 2023
- Set-Theoretic and Type-Theoretic Ordinals Coincide Tom de Jong Nicolai Kraus Fredrik Nordvall Forsberg Chuangjie Xu Fri 28 April 2023
- Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF Johannes K. Fichte Robert Ganian Markus Hecher Friedrich Slivovsky Sebastian Ordyniak Fri 28 April 2023
- A note on encoding infinity in ZFA with applications to register automata Michał R. Przybyłek Fri 28 April 2023
- Embedded Finite Models beyond Restricted Quantifier Collapse Michael Benedikt Ehud Hrushovski Fri 28 April 2023
- Undecidable translational tilings with only two tiles, or one nonabelian tile Rachel Greenfeld Terence Tao Sun 26 March 2023
- Bijective proofs for Eulerian numbers in types B and D Luigi Santocanale Fri 10 March 2023
- Stabilized profunctors and stable species of structures Marcelo Fiore Zeinab Galal Hugo Paquet Fri 10 March 2023
- Fixpoint operators for 2-categorical structures Zeinab Galal Fri 10 March 2023
- First-Order Model Checking on Structurally Sparse Graph Classes Jan Dreier Nikolas Mahlmann Sebastian Siebertz Mon 20 February 2023
- Languages given by Finite Automata over the Unary Alphabet Gordon Hoi Sanjay Jain Frank Stephan Christopher Tan Mon 20 February 2023
- Flipper games for monadically stable graph classes Jakub Gajarský Nikolas Mahlmann Rose McCarty Pierre Ohlmann Michał Pilipczuk Wojciech Przybyszewski Sebastian Siebertz Marek Sokołowski Szymon Toruńczyk Tue 07 February 2023
- Lecture notes on complexity of quantifier elimination over the reals Nicolai Vorobjov Fri 03 February 2023
- Infinite Hex is a draw Joel David Hamkins Davide Leonessi Sat 24 December 2022
- Differentially Transcendental Functions Zarko Mijajlovic Branko Malesevic Sat 24 December 2022
- An invitation to the promise constraint satisfaction problem Andrei Krokhin Jakub Opršal Sat 26 November 2022
- Grammars over the Lambek Calculus with Permutation: Recognizing Power and Connection to Branching Vector Addition Systems with States Tikhon Pshenitsyn Fri 23 September 2022
- From Kruskal's theorem to Friedman's gap condition Anton Freund Fri 22 July 2022
- Indiscernibles and Wideness in Monadically Stable and Monadically NIP Classes Jan Dreier Nikolas Mahlmann Sebastian Siebertz Szymon Toruńczyk Fri 01 July 2022
- Choiceless Polynomial Time with Witnessed Symmetric Choice Moritz Lichter Pascal Schweitzer Tue 31 May 2022
- Current Challenges in Infinite-Domain Constraint Satisfaction: Dilemmas of the Infinite Sheep Michael Pinsker Sat 02 April 2022
- A quantum complexity approach to the Kirchberg Embedding Problem Isaac Goldbring Bradd Hart Sun 24 October 2021
- The Connes Embedding Problem: A guided tour Isaac Goldbring Tue 28 September 2021
- First-order natural deduction in Agda Louis Warren Tue 10 August 2021
- Towards an arboretum of monadically stable classes of graphs Jaroslav Nesetril Patrice Ossona de Mendez Sebastian Siebertz Wed 19 May 2021
- On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders Mirna Dżamonja Sylvain Schmitz Philippe Schnoebelen Wed 12 May 2021
- Variants of Schanuel's conjecture Jonathan Kirby Wed 12 May 2021
- Generalizing a theorem of Bès and Choffrut Erik Walsberg Mon 15 February 2021
- Invariant varieties for polynomial dynamical systems Alice Medvedev Thomas Scanlon Wed 20 January 2021
- A circular version of Gødel's T and its abstraction complexity Anupam Das Tue 05 January 2021
- Elimination of unknowns for systems of algebraic differential-difference equations Wei Li Alexey Ovchinnikov Gleb Pogudin Thomas Scanlon Mon 19 October 2020
- Algorithms yield upper bounds in differential algebra Wei Li Alexey Ovchinnikov Gleb Pogudin Thomas Scanlon Mon 19 October 2020
- Relating Structure and Power: Extended Version Samson Abramsky Nihil Shah Sun 18 October 2020
- Foundations Jeremy Avigad Tue 22 September 2020
- A general definition of dependent type theories Andrej Bauer Philipp G. Haselwarter Peter LeFanu Lumsdaine Sun 20 September 2020
- Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus Andreas Abel Christian Sattler Mon 14 September 2020
- Rankwidth meets stability Jaroslav Nesetril Patrice Ossona de Mendez Michal Pilipczuk Roman Rabinovich Sebastian Siebertz Sat 18 July 2020
- Cantor-Bernstein implies Excluded Middle Pierre Pradic Chad E. Brown Wed 08 July 2020
- The Integers as a Higher Inductive Type Thorsten Altenkirch Luis Scoccola Sat 04 July 2020
- A program for the full axiom of choice Jean-Louis Krivine Sat 13 June 2020
- Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory (Extended Version) Yannick Forster Dominik Kirst Dominik Wehr Tue 09 June 2020
- Ramsey Classes: Examples and Constructions Manuel Bodirsky Thu 07 May 2020
- NIP omega-categorical structures: the rank 1 case Pierre Simon Sun 26 April 2020
- Formalization of Forcing in Isabelle/ZF Emmanuel Gunther Miguel Pagano Pedro Sánchez Terraf Sat 25 April 2020
- Descriptive complexity of real computation and probabilistic independence logic Miika Hannula Juha Kontinen Jan Van den Bussche Jonni Virtema Sun 19 April 2020
- Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory Dominik Kirst Dominique Larchey-Wendling Sun 19 April 2020
- Towards Better: A motivated introduction to better-quasi-orders Yann Pequignot Mon 13 April 2020
- Effective difference elimination and Nullstellensatz Alexey Ovchinnikov Gleb Pogudin Thomas Scanlon Fri 10 April 2020
- On amenability of constraint satisfaction problems Michał R. Przybyłek Wed 01 April 2020
- A Lindstrøm theorem for intuitionistic propositional logic Guillermo Badia Grigory Olkhovikov Sun 15 March 2020
- Mathematical semantics of intuitionistic logic Sergey A. Melikhov Mon 09 March 2020
- Continuous Regular Functions Alexi Block Gorman Philipp Hieronymi Elliot Kaplan Ruoyu Meng Erik Walsberg Zihe Wang Ziqin Xiong Hongru Yang Fri 14 February 2020
- Theories of real addition with and without a predicate for integers Alexis Bès Christian Choffrut Wed 12 February 2020
- Means-fit effectivity Yuri Gurevich Wed 12 February 2020
- Expansions of MSO by cardinality relations Alexis Bès Tue 21 January 2020
- A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time Flavio Ferrarotti Senen Gonzáles Klaus-Dieter Schewe José María Turull-Torres Wed 11 December 2019
- Introduction to Univalent Foundations of Mathematics with Agda Martín Høtzel Escardó Tue 05 November 2019
- Metamath Zero: The Cartesian Theorem Prover Mario Carneiro Fri 25 October 2019
- Weihrauch Complexity in Computable Analysis Vasco Brattka Guido Gherardi Arno Pauly Fri 12 July 2019
- On the logical complexity of cyclic arithmetic Anupam Das Thu 11 July 2019
- Computer Science and Metaphysics: A Cross-Fertilization Daniel Kirchner Christoph Benzmuller Edward N. Zalta Fri 28 June 2019
- Non-Homogenizable Classes of Finite Structures Albert Atserias Szymon Toruńczyk Fri 07 June 2019
- Cubical Type Theory: a constructive interpretation of the univalence axiom Cyril Cohen Thierry Coquand Simon Huber Anders Mørtberg Mon 15 April 2019
- Presburger arithmetic, rational generating functions, and quasi-polynomials K. Woods Mon 10 September 2018
- A Proof of Kamp's theorem A. Rabinovich Thu 23 August 2018
- Monadic Second Order Logic with Measure and Category Quantifiers Matteo Mio Michał Skrzypczak Henryk Michalewski Tue 10 April 2018
Library Size: 13G (124 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
