510.6 — Математическая логика

Definability via the tilting correspondence Gessica Alecci, Ihsane Hadeg, Franziska Jahnke, Margarete Ketelsen, Isabella Negrini · 2026

The geometrisation problem for topological groups Christian Rosendal · 2026

Coarse Structures on Homogeneous Spaces Carlos Pérez Estrada, Christian Rosendal · 2026

Some model-theoretic consequences of high-arity uniform convergence, part I Leonardo N. Coregliano, Maryanthe Malliaris · 2026

Constant time testability of first-order logic with modulo counting on finitary graphs Isolde Adler, Jenny Stimpson · 2026

Almost Disjointness Principles and $Q$-Space Cardinals Vinicius de Oliveira Rodrigues · 2026

Modal group theory Wojciech Aleksander Wołoszyn · 2026

Model-theoretic Tameness in finite extensions of groups Yatir Halevi, Saharon Shelah · 2026

Nonembeddings of Combinatory Algebras Patrick Lutz, Paul Shafer, Sebastiaan A. Terwijn · 2026

An $\ell^2$ Obstruction for Elementary Embeddings of Hyperbolic Groups Connor MacMahon · 2026

Generic bundles over a localic category Graham Manuell, Joshua L. Wrigley · 2026

On the Limits of Recursive Characterizations in the Refined $A$-Translation Franziskus Wiesnet · 2026

Аналитические и синтетические суждения и Математическая логика Бабина Дарья Александровна, Сердюкова Елена Владимировна · 2024

Бертран Рассел и наука в Китае в 20-х годах ХХ в. Кварталова Наталия Леонидовна · 2023

On skew ultralimits and their applications in ultrafilter theory Nikolai L. Poliakov · 2026

Algebraic characterisation of pseudo-elementary and second-order classes János Balázs Ivanyos · 2026

Ultrapowers of spectral subspaces Hiroshi Ando, Isaac Goldbring · 2026

Duality theory for categorical theories Lingyuan Ye · 2026

Higher-arity distality and forking triviality Mervyn Tong · 2026

Geometric fields, ranks, and generic derivations Antongiulio Fornasiero, Elliot Kaplan, Angus Matthews · 2026

The modal theory of linear orders Wojciech Aleksander Wołoszyn · 2026

Listing the hyperarithmetical functions Joseph S. Miller, Gian Marco Osso, Isabella Scott · 2026

Revisiting $\mathfrak b$ and $\mathfrak d$ through Interval Structures Miguel A. Cardona, Adam Marton · 2026

Structural Infinite-Exponent Partition Relations and Weak Choice Principles Lyra A. Gardiner, Jonathan Schilhan · 2026

The Gamified Katětov order is not linear (in fact, very much not so) Takayuki Kihara, Ming Ng · 2026

A Foundation for the Core Mathematician David Mumford, Sy-David Friedman · 2026

Localic Relations with Open Cones Nesta van der Schaaf · 2026

Computable Scott Sentences and the Friedman-Stanley embedding David Gonzalez, Julia Knight · 2026

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability Shanxia Wang · 2026

A curve and its abstract generalized Jacobian Benjamin Castle, Ishai Dan-Cohen, Assaf Hasson · 2026

On the Intermediate Models of Strongly Compact Prikry Forcing Tom Benhamou, Sebastiano Thei, Ben-Zion Weltsch · 2026

A Short Nonstandard Proof of the Radon-Nikodym Theorem Takashi Matsunaga · 2026

Topology and category for singular product spaces Yusuke Hayashi, Tristan van der Vlugt · 2026

Remarks on Primitive Regulation Milan Rosko · 2026

On antichain numbers and the splitting ideal Aleksander Cieślak · 2026

A proof system for the positive fragment of GL Yoshihito Tanaka · 2026

Trace definability IV: higher arity notions Erik Walsberg · 2026

On p-Lie algebras of finite Morley rank Samuel Zamour · 2026

A foundational characterization of Hoare Logic Daniel Leivant · 2026

Geometric duality, perfect graphs, and the Sierpiński space Piotr Borodulin-Nadzieja, Barnabás Farkas, Anna Pelczar-Barwacz · 2026

What can Topology tell us about Logical Complexity? Takayuki Kihara, Ming Ng · 2026

A locally countable graph of second projective class not generated by countably many projective functions Vladimir Kanovei, Vassily Lyubetsky · 2026

Free sets, thin sets and rainbows for barriers Lorenzo Carlucci, Oriola Gjetaj · 2026

Solvability of the radical in pseudo-finite groups with the DCC on centralizers up to finite index Nadja Hempel, Ulla Karhumäki · 2026

A Topological Rainbow Ramsey Theorem Hannes Jakob, Jing Zhang · 2026

Modular constructive Lyndon interpolation for nondistributive logics Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis · 2026

Inception Display Calculi Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano · 2026

Combinatorics of Schur ultrafilters S. Bardyla · 2026

Avoiding logical strength in real analysis Anton Freund, Nicholas Pischke, Patrick Uftring · 2026

Modal group theory: homomorphisms Wojciech Aleksander Wołoszyn · 2026

Axiomatizing logics of finite Gödel-Kripke models Amanda Vidal, Ricardo O. Rodriguez · 2026

Remarks on generic stability and random types Karim Khanaki · 2026

Computability Limits of Sequential Hypothesis Testing Amir Leshem · 2026

More on expressibility of satisfiability in submodels and extensions Nikolai L. Poliakov, Denis I. Saveliev · 2026

$K$-holomorphic functions with definable real part Antonio Carbone, Enrico Savi · 2026

A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees Patrizio Cintioli · 2026

Proof Theory for Bimodal Provability Logics Borja Sierra Miranda, Thomas Studer · 2026

A completion of reduced commutative rings Luca Carai, Miriam Kurtzhals, Tommaso Moraschini · 2026

Notes on Lie derivatives, algebraic D-varieties, and Ax's theorem Anand Pillay · 2026

Model theory and Connes' bicentralizer problem Hiroshi Ando, Isaac Goldbring · 2026

Every Feedforward Neural Network Definable in an o-Minimal Structure Has Finite Sample Complexity Anastasis Kratsios, Gregory Cousins, Haitz Sáez de Ocáriz Borde, Bum Jun Kim, Simone Brugiapaglia · 2026

Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides Olivier Bournez, Alonso Núñez · 2026

Bourbaki--Zorn Normal Forms for Maximality Arguments You-Chang Liu · 2026

Bounded depth in Hilbert algebras Luca Carai, Miriam Kurtzhals, Tommaso Moraschini · 2026

МАТЕМАТИЧЕСКАЯ ЛОГИКА И ЕЁ ЗНАЧЕНИЕ ДЛЯ ТЕОРИИ АЛГОРИТМОВ И КОМПЬЮТЕРНЫХ НАУК Ашыралыева Марал Аллабереновна, Мырадова Гурбанбиби · 2025

РОЛЬ МАТЕМАТИЧЕСКОЙ ЛОГИКИ В ИНФОРМАТИКЕ: ФОРМАЛИЗАЦИЯ, ДОКАЗАТЕЛЬСТВА И ПРОГРАММИРОВАНИЕ Акмырадов Я. Ч., Аллаберенов С. А., Мередов О. А. · 2023

ЛОГИКО-МАТЕМАТИЧЕСКИЕ ПРИНЦИПЫ СРАВНИТЕЛЬНОГО АНАЛИЗА ОБЪЕКТОВ Г. Г. Коновалов, Н. О. К. Зарбалиева · 2025

ПРИМЕНЕНИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ В ТЕХНИКЕ И СТРОИТЕЛЬСТВЕ: ОТЕЧЕСТВЕННЫЙ ОПЫТ XX ВЕКА Прядко Игорь Петрович · 2024