Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Simple
Original
Articles about
Logic
Model-theoretic
\(K_1\)
of free modules over PIDs
Yesterday by
Sourayan Banerjee
and
Amit Kuber
Logic
,
K-Theory and Homology
Univalent Material Set Theory
Yesterday by
Håkon Robbestad Gylterud
and
Elisabeth Stenholm
Logic
A tree rewriting system for the Reflection Calculus
Yesterday by
Sofía Santiago-Fernández
and
others
Logic
Spherically orderable groups
Yesterday by
Sergey Sudoplatov
Group Theory
,
Logic
Big Ramsey Degrees and Infinite Languages
Yesterday by
Samuel Braunfeld
and
others
Combinatorics
,
Discrete Mathematics
Relative leftmost path principles and omega-model reflections of transfinite inductions
Yesterday by
Yudai Suzuki
Logic
Pure maps are strict monomorphisms
Yesterday by
Kristóf Kanalas
Category Theory
,
Logic
Domain theory in univalent foundations I: Directed complete posets and Scott's
\(D_\infty\)
Yesterday by
Tom Jong
Logic in Computer Science
,
Logic
Domain theory in univalent foundations II: Continuous and algebraic domains
Yesterday by
Tom Jong
and
Martín Hötzel Escardó
Logic in Computer Science
,
Logic
Computable classifications of continuous, transducer, and regular functions
Yesterday by
Johanna N. Y. Franklin
and
others
Logic
Agent-Knowledge Logic for Alternative Epistemic Logic
Yesterday by
Yuki Nishimura
Logic
Extremal models and direct integrals in affine logic
Yesterday by
Itaï Ben Yaacov
and
others
Logic
,
Functional Analysis
The computational content of multidimensional discontinuity
Yesterday by
Rupert Hölzl
and
Keng Meng Ng
Logic
On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
Yesterday by
Prosenjit Howlader
and
Churn-Jung Liau
Logic
Computational Dualism and Objective Superintelligence
Yesterday by
Michael Timothy Bennett
at
Australian National University
Artificial Intelligence
,
Logic
An
\(\mathrm{NSOP}_{1}\)
theory without the existence axiom
2 days ago by
Scott Mutchnik
Logic
Definability of continuous isomorphisms of groups definable in o-minimal expansions of the real field
2 days ago by
Alf Onshuus
Logic
Modern Definition and Ancient Definition
2 days ago by
Clarence Protin
History and Overview
,
Logic
Adding a constant and an axiom to a doctrine
2 days ago by
Francesca Guffanti
Category Theory
,
Logic
Boundedly finite-to-one functions
2 days ago by
Xiao Hu
and
Guozhen Shen
Logic
,
Combinatorics
Application of Hohle's Square Roots on Hoop Algebras
2 days ago by
Ali Madanshekaf
and
Mohammad Mahdi Motamedi Nezhad
Rings and Algebras
,
Logic
A two-sorted theory of nilpotent Lie algebras
2 days ago by
Christian D'Elbée
and
others
Logic
Generic differentiability and
\(P\)
-minimal groups
2 days ago by
Will Johnson
Logic
Around definable types in
\(p\)
-adically closed fields
2 days ago by
Pablo Andujar Guerrero
and
Will Johnson
Logic
Pseudo T-closed fields
3 days ago by
Samaria Montenegro
and
Silvain Rideau-Kikuchi
Logic
Many-valued coalgebraic logic over semi-primal varieties
3 days ago by
Alexander Kurz
and
others
Logic in Computer Science
,
Category Theory
The Algebras of Lewis's Counterfactuals
3 days ago by
Giuliano Rosella
and
Sara Ugolini
Logic
Rich doctrines and Henkin's Theorem
3 days ago by
Francesca Guffanti
Category Theory
,
Logic
On equationally Noetherian predicate structures
3 days ago by
Ivan Buchinskiy
and
others
Logic
On some
\(Σ^{B}_{0}\)
-formulae generalizing counting principles over
\(V^{0}\)
4 days ago by
Eitetsu Ken
Logic
Load more