Logic | Synthical

Synthical

Your space

Profile

Activity

Favorites

Folders

Feeds

Contacts

About

Simple

Original

Articles about Logic

Generalised ultracategories and conceptual completeness of geometric logic

Yesterday by Ali Hamad

Category Theory, Logic

Finite model property of pretransitive analogues of (w)K4 and GL

Yesterday by Lev Dvorkin

On the universal theory of the free pseudocomplemented distributive lattice

Yesterday by Luca Carai and Tommaso Moraschini

Definable coordinate geometries over fields, part 2: applications

Yesterday by Judit Madarász and others

A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications

Yesterday by Nicholas Pischke

Definable coordinate geometries over fields, part 1: theory

Yesterday by Judit Madarász and others

On the asymptotic behaviour of stochastic processes, with applications to supermartingale convergence, Dvoretzky's approximation theorem, and stochastic quasi-Fejér monotonicity

Yesterday by Morenikeji Neri and others

Optimization and Control, Machine Learning

Semisimple groups interpretable in various valued fields

2 days ago by Yatir Halevi and others

Logic, Group Theory

A note on one-variable theorems for NSOP

2 days ago by Will Johnson

A very sharp threshold for first order logic distinguishability of random graphs

2 days ago by Itai Benjamini and Maksim Zhukovskii

Combinatorics, Logic in Computer Science

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)

2 days ago by Victor Barroso-Nascimento and others

Logic in Computer Science, Logic

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)

3 days ago by Sonia Marin and Paaras Padhiar

Logic in Computer Science, Logic

Fragments of Some Subintuitionistic Logics

3 days ago by Fatemeh Shirmohammadzadeh Maleki and Dick Jongh

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms

3 days ago by Manuel Bodirsky and others

Rings and Algebras, Computational Complexity

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability

3 days ago by Giorgio Bacci and Rasmus Ejlers Møgelberg

Logic in Computer Science, Logic

Complexity of the variable-free fragments of non-normal modal logics (extended version)

4 days ago by Andrey Kudinov and M. Rybakov

The complexity of classifying continuous t-norms up to isomorphism

5 days ago by Jialiang He and others

Logic, General Topology

A model-thoeretic version of Tarski's theorem

5 days ago by Jana Maříková

Ultrafilters in the random real model

5 days ago by Alan Dow and Osvaldo Guzmán

Truth and meaningfulness

5 days ago by Nik Weaver

Iterated jump noncomputability and compactness

5 days ago by Gavin Dooley

Hyper-u-amenablity and Hyperfiniteness of Treeable Equivalence Relations

5 days ago by Petr Naryshkin and Andrea Vaccaro

Logic, Dynamical Systems

Separably differentially closed fields

5 days ago by Kai Ino and Oriol Lopez Sanchez

Finite models for positive combinatorial and exponential algebra

5 days ago by Tumadhir Alsulami and Marcel Jackson

Ramsey-like theorems for separable permutations

6 days ago by Quentin Houérou and Ludovic Patey

Intermediate models and Kinna--Wagner Principles

6 days ago by Asaf Karagila and Jonathan Schilhan

On the lack of colimits in various categories of BAOs and Heyting algebras

6 days ago by Marco Abbadini and others

Logic, Category Theory

Elementary equivalence and diffeomorphism groups of smooth manifolds

6 days ago by Sang-Hyun Kim and others

Group Theory, Geometric Topology

Generalized Tukey reducibility between σ-directed sets

6 days ago by Hiroshi Sakai and Toshimasa Tanno

A 2-categorical approach to the semantics of dependent type theory with computation axioms

6 days ago by Matteo Spadetto

Logic, Logic in Computer Science

Load more