Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Simple
Original
Articles about
Logic
Generalizing Goodstein's theorem and Cichon's independence proof
2 days ago by
Gunnar Wilken
Logic
Non-singular and probability measure-preserving actions of infinite permutation groups
2 days ago by
Todor Tsankov
Dynamical Systems
,
Logic
On the Descriptive Complexity of Groups without Abelian Normal Subgroups
3 days ago by
Joshua Grochow
and
Michael Levet
Logic in Computer Science
,
Computational Complexity
Computability for tree presentations of continuum-size structures
3 days ago by
Jason Block
and
Russell Miller
Logic
Topological semantics for a non-self-extensional LFI
3 days ago by
Esha Jain
and
Sankha Basu
Logic
An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
3 days ago by
Yang Xu
and
others
Logic in Computer Science
,
Artificial Intelligence
On the computability of optimal Scott sentences
3 days ago by
Rachael Alvir
and
others
Logic
A Relation on
{(ω, <)}
of Intermediate Degree Spectrum on a Cone
3 days ago by
Jad Damaj
and
Matthew Harrison-Trainor
Logic
Relative to any non-arithmetic set
3 days ago by
Matthew Harrison-Trainor
Logic
Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
3 days ago by
Thomas Koberda
and
J. De La Nuez González
Group Theory
,
Geometric Topology
The weak Extension Principle
3 days ago by
Alessandro Vignati
and
Deniz Yilmaz
Logic
,
General Topology
On the Computability of Finding Capacity-Achieving Codes
3 days ago by
Angelos Gkekas
and
others
Information Theory
,
Logic
The noncommutative weak Extension Principle
3 days ago by
Alessandro Vignati
and
Deniz Yilmaz
Logic
,
Operator Algebras
Universal Proof Theory, TACL 2022 Lecture Notes
3 days ago by
Rosalie Iemhoff
and
Raheleh Jalali
Logic
,
Logic in Computer Science
A Proof-Theoretic Approach to the Semantics of Classical Linear Logic (Technical Report)
4 days ago by
Victor Barroso-Nascimento
and
others
Logic in Computer Science
,
Logic
Ignorance as an excuse, formally
4 days ago by
Ekaterina Kubyshkina
and
others
Logic
Recursively Enumerably Representable Classes and Computable Versions of the Fundamental Theorem of Statistical Learning
4 days ago by
David Kattermann
and
Lothar Sebastian Krapp
Machine Learning
,
Computational Complexity
Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
4 days ago by
Bahareh Afshari
and
Johannes Kloibhofer
at
University of Gothenburg
Logic in Computer Science
,
Logic
Cyclic Proofs for iGL via Corecursion
4 days ago by
Borja Sierra Miranda
Logic
,
Logic in Computer Science
Toward higher-order infinite time Turing machines: simulational
Γ
-machines
5 days ago by
Olivier Bournez
and
others
Logic
On the density of strongly minimal algebraic vector fields
5 days ago by
Rémi Jaoui
Algebraic Geometry
,
Logic
Monadic Second-Order Logic of Permutations
5 days ago by
Vít Jelínek
and
Michal Opler
Combinatorics
,
Logic in Computer Science
Non-commutative linear logic fragments with sub-context-free complexity
5 days ago by
Yusaku Nishimiya
and
Masaya Taniguchi
Logic in Computer Science
,
Computational Complexity
New consequences of PFA(
T^*
)
5 days ago by
Carlos Martínez-Ranero
and
Lucas Polymeris
Logic
Weak A2 spaces, the Kastanas game and strategically Ramsey sets
5 days ago by
Clement Yung
Logic
Found in Translation: at the limits of the Hudetz program
5 days ago by
Toby Meadows
Logic
Found in Translation: at the limits of the Hudetz program
5 days ago by
Toby Meadows
Logic
Dimension theory for the asymptotic couple of the field of logarithmic transseries
5 days ago by
Allen Gehret
and
others
Logic
Cut elimination for a non-wellfounded system for the master modality
5 days ago by
Borja Sierra Miranda
and
Thomas Studer
Logic
A foundation for deductive mathematics
5 days ago by
Frank Quinn
Logic
,
Category Theory
Load more
