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

On a local variant of the 12th Delfino problem -- the $Π$-side Stefan Hoffelner · 2026

Functorial stratifications of singularities in characteristic 0 Vicente Monreal · 2026

Constructive Notes on Locally Convex Spaces Douglas S. Bridges · 2026

Ultrafilter Equivalence and Asymptotic Types of Five Classical t-Norms Jiang Yang, Xiongwei Zhang, Xin Zhang · 2026

Discontinuous homomophisms without Hamel bases Paul Larson, Saharon Shelah · 2026

Strong marker sets for arbitrary generating sets Su Gao, Tianhao Wang · 2026

The algebra of Krom logic programs Christian Antić · 2026

Combinatorial covering properties in an uncountable setting: canonical examples Ayelet Amsalem, Adi Jarden, Michał Pawlikowski, Piotr Szewczak, Boaz Tsaban, Lyubomyr Zdomskyy · 2026

Existentially closed fields with operators in various categories Jakub Gogolok · 2026

Questions on the structure of random embeddings of $L(\mathbb{F}_2)$ Ben Hayes, David Jekel, Srivatsav Kunnawalkam Elayavalli · 2026

Finite-Query Collapse and Modal Exact Bases in the SCI Hierarchy Christopher Sorg · 2026

A small Banach space $C(K)$ without nice renormings Todor Manev, Damian Sobota, Lyubomyr Zdomskyy · 2026

Extended Frege proofs, circuits and rewriting Jan Krajicek · 2026

Normalisation for Positive Free Logics without and with Definite Descriptions Nils Kürbis · 2026

Russell's Theory of Definite Descriptions in the Light of Structural Proof Theory Andrzej Indrzejczak, Nils Kürbis · 2026

A Rank-Preserving Gaifman Normal Form Martin Grohe, Nicole Schweikardt · 2026

Vaught's Conjecture for Unions of Products of Rooted Trees Miloš S. Kurilić · 2026

Constructive Stone representations for separated swap and Boolean algebras Daniel Misselbeck-Wessel, Iosif Petrakis · 2026

Effective quasianalytic Remez inequalities on tame sets Armin Rainer · 2026

Strong truncations and Maximal Ideal Principles Karim Boulabiar · 2026

Cellular generation revisited Sean Cox, Mark Kamsma, Jiří Rosický · 2026

On Star operation and some ideals on the Baire space Aleksander Cieślak, Daria Perkowska, Szymon Żeberski · 2026

The computable functional calculus Christopher J. Eagle, Timothy H. McNicholl · 2026

Квантовая логика в контексте математического обоснования квантовой механики Александр Александрович Печенкин · 2023

МАТЕМАТИЧЕСКАЯ ЛОГИКА НА СОВРЕМЕННОМ ЭТАПЕ ОБРАЗОВАНИЯ А. Н. Колобов · 2024

Monotone convergence theorems equivalent to Markov's principle Douglas S. Bridges · 2026

A hyperamalgamation property Paolo Lipparini · 2026

Undecidability, Chaos and Universality in Arithmetic Terms Gabriel Istrate, Mihai Prunescu, Joseph M. Shunia · 2026

A characterization of Projective and Weakly Projective Boolean Algebras Andrzej Kucharski, Sławomir Turek · 2026

Conjunctive reducibilities and completeness Irakli Chitaia, Keng Meng Ng, Roland Omanadze, Andrea Sorbi · 2026

Visibility Theory Frode Alfson Bjørdal · 2026

Canonical reconstruction and forcing absoluteness of standard structures Tomasz Kania · 2026

On Local Finiteness of Modal K4 Algebras Gabriel Agnew · 2026

Strong marker sets for arbitrary generating sets of $\mathbb Z^n$ Jing Yu · 2026

Cyclic proofs in the equational version of Primitive recursive arithmetic Daniyar Shamkanov · 2026

Four intuitionistic modal connectives Philippe Balbiani, Çigdem Gencer · 2026

A natural axiomatization of Büchi Arithmetic Konstantin Kovalyov · 2026

Ordinal semigroups Paolo Lipparini · 2026

The Cofinal Strong Chang Conjecture from Models of Determinacy Corentin Lagadec · 2026

Classification Theory and the Construction of PAC Fields Nicholas Ramsey · 2026

Polynomial-time satisfiability for a special case of Positive$\wedge$Negative Marcel Wild · 2026

Strong colorings based on oscillations Stevo Todorcevic, Jing Zhang · 2026

A choice-free approach to Wallman compactifications Sebastian D Melzer, Cerene Rathilal, Ranjitha Raviprakash · 2026

A Proof in Coq that Core Logic is not Paraconsistent Joseph Vidal-Rosset · 2026

Large imperfect fields are existentially closed in function fields after finite constant extension Hagen Knaf, Franz-Viktor Kuhlmann · 2026

Numerical choice, Riemann integration, and Reverse Mathematics Sam Sanders, Dmytro Taranovsky · 2026

Generalized almost disjoint families and injective Banach spaces Chris Lambie-Hanson, David Schrittesser · 2026

Uniform Bounds in D-Minimal Structures Madie Farris, Philipp Hieronymi · 2026

A note on the independence of the injective pigeonhole principle from the uniform counting principle Eitetsu Ken · 2026

Ulam stability for classes of nuclear C*-algebras Vadim Alekseev, Ilijas Farah, Andreas Thom · 2026

A topos for étale-finite Heyting algebras Marco Abbadini, Rodrigo Nicolau Almeida, Igor Arrieta · 2026

Primitive Positive Constructions Among Finite Permutation Groups Sebastian Meyer · 2026

The Axiom of Double Complement and its opposites Hanul Jeon, James E. Hanson · 2026

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures? Michael Benedikt, Alessio Mansutti · 2026

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic Mykyta Narusevych · 2026

Gödel coding on fibrations and geminal categories Yuto Ikeda · 2026

Projectable reduced $f$-rings admitting elimination of quantifiers Jorge I. Guier · 2026

Cofinal types of topological groups Xuan Gong, Dekui Peng · 2026

A proof-theoretic approach to abstract interpretation Vijay D'Silva, Alessandra Palmigiano, Apostolos Tzimoulis, Caterina Urban · 2026

Evasion numbers via zero-prediction Takashi Yamazoe · 2026

On the complexity of extensions of non-archimedean Polish groups admitting a compatible complete left-invariant metric Longyun Ding, Xu Wang · 2026

Refutation calculi for lattice-based logics: from display to tableaux Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano, Mario Piazza, Andrea Sabatini · 2026

Keisler Measures and Generically Stable Random Types Karim Khanaki · 2026

Методические подходы к использованию систем компьютерной математики Maple, Mathcad, Mathematica в обучении линейной алгебре, математическому анализу и математической логике в технических, военных и юридических вузах Андрей Павлович Забайкалов, Юлия Дмитриевна Кулешова, Анна Павловна Новодерова, Татьяна Валерьевна Усачева, Виктория Леонидовна Шимитило · 2025

ОСОБЕННОСТИ ОБУЧЕНИЯ ЭЛЕМЕНТАМ МАТЕМАТИЧЕСКОЙ ЛОГИКИ В СРЕДНЕЙ ШКОЛЕ А. Н. Колобов · 2023

ИСПОЛЬЗОВАНИЕ MS EXCEL ПРИ ИЗУЧЕНИИ МАТЕМАТИЧЕСКОЙ ЛОГИКИ Кокшарова Е. А. · 2023

The Q-Calculus: A Quaternion-Based Laws of Form System Louis H. Kauffman, Arthur M. Collings · 2026

Undecidability in Relevant Logic Søren Brinck Knudstorp · 2026

Residual properties of finitely generated groups in the Weihrauch lattice Emmanuel Rauzy · 2026

Spectral embedding through weak* limit of finite-dimensional approximations Fabrice Nonez · 2026

O-minimal open core is not an elementary property Alexi Block Gorman, Esther Elbaz Saban · 2026

From Multirelations to Meet-Relations: A Relational Duality for Semilattices with Adjunctions William Zuluaga, Belén Gimenez · 2026

The Finite Length Property of the Rado Graph and Friends Jingjie Yang, Mikołaj Bojańczyk, Bartek Klin · 2026

Canonical Extensions of Quantale-Enriched Categories Alexander Kurz, Apostolos Tzimoulis · 2026

Relating forcing relations Michel Viana Smykalla, Hugo Luiz Mariano · 2026

Rank-two recurrence results for polynomials and questions of dynamical Mordell--Lang type Geng-Rui Zhang · 2026

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint) Christoph Benzmüller, Daniel Kirchner, Luca Pasetto · 2026

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