Search Results - "MATHEMATICS / Logic"

Abstract 3D-rotation groups and recognition of icosahedral modules

Authors: Lauren McEnerney Joshua Wiscons

Source: Journal of Algebra. 683:389-408

Subject Terms: FOS: Mathematics, Mathematics - Logic, Group Theory (math.GR), Logic (math.LO), Mathematics - Group Theory

Access URL: http://arxiv.org/abs/2412.12411

Effectivity for existence of rational points is undecidable

Authors: Natalia Garcia-Fritz Hector Pasten Xavier Vidaux

Source: Journal of Number Theory. 276:81-97

Subject Terms: Mathematics - Number Theory, FOS: Mathematics, Mathematics - Logic, Number Theory (math.NT), Logic (math.LO), Primary: 11U05, Secondary: 11C08, 11G50

Access URL: http://arxiv.org/abs/2311.01958

Generalised power series determined by linear recurrence relations

Authors: Krapp, Lothar Sebastian Kuhlmann, Salma Serra, Michele et al.

Contributors: Krapp, Lothar Sebastian Kuhlmann, Salma Serra, Michele et al.

Source: Journal of Algebra. 681:152-189

Subject Terms: Hahn fields, Lifting properties, 410 Linguistics, Mathematics - Logic, 10104 ISLE Institute, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), 01 natural sciences, Rational function fields, 13J05 (16W60 12J10 06F20), Linear recurrence, 490 Other languages, FOS: Mathematics, Automorphism groups, 890 Other literatures, 0101 mathematics, Logic (math.LO), Generalised formal power series, 2602 Algebra and Number Theory, Rayner fields

File Description: 1_s2.0_S0021869325002960_main.pdf - application/pdf

Access URL: http://arxiv.org/abs/2206.04126

Wilson conjecture for omega-categorical Lie algebras, the case 4-Engel characteristic 3

Authors: Christian d'Elbée

Source: Journal of Algebra. 681:679-712

Subject Terms: Rings and Algebras (math.RA), 03C60, 17B30, 20F18, FOS: Mathematics, Mathematics - Rings and Algebras, Mathematics - Logic, Logic (math.LO)

Access URL: http://arxiv.org/abs/2411.00667

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images

Authors: Bloch, Isabelle Bonnot, Enzo Gori, Pietro et al.

Contributors: Bloch, Isabelle Bonnot, Enzo Gori, Pietro et al.

Source: 2025 IEEE International Conference on Fuzzy Systems (FUZZ). :1-6

Subject Terms: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [SDV.IB] Life Sciences [q-bio]/Bioengineering, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic, Computer Science - Artificial Intelligence, segmentation, Mathematics - Logic, fuzzy semantics, fiber bundles, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), FOS: Mathematics, spatial reasoning, recognition, Logic (math.LO)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2505.00173
https://telecom-paris.hal.science/hal-05052868v1

One-dimensional F-definable sets in F((t))

Authors: Anscombe, Sylvy

Contributors: Anscombe, Sylvy

Source: Journal of Algebra. 687:731-742

Subject Terms: FOS: Mathematics, [MATH] Mathematics [math], Mathematics - Logic, 0101 mathematics, Logic (math.LO), 01 natural sciences

Access URL: http://arxiv.org/abs/1503.05803

Elementary equivalence of endomorphism rings and automorphism groups of periodic Abelian groups

Authors: Elena Bunina

Source: Journal of Algebra. 687:179-194

Subject Terms: 20K30, 03C68, 03C85, FOS: Mathematics, Mathematics - Logic, Group Theory (math.GR), Logic (math.LO), Mathematics - Group Theory

Access URL: http://arxiv.org/abs/2410.11098

ON EFFECTIVE CONSTRUCTIONS OF EXISTENTIALLY CLOSED GROUPS

Authors: I. SCOTT

Source: The Journal of Symbolic Logic. :1-27

Subject Terms: FOS: Mathematics, Mathematics - Logic, Logic (math.LO)

Access URL: http://arxiv.org/abs/2404.11524

THE CLASS OF KRASNER HYPERFIELDS IS NOT ELEMENTARY

Authors: Błaszkiewicz, Piotr Kowalski, Piotr

Source: The Journal of Symbolic Logic. :1-12

Subject Terms: Primary 03C60, Secondary 16Y20, FOS: Mathematics, Mathematics - Logic, Logic (math.LO)

Access URL: http://arxiv.org/abs/2404.14532

AN ANALYSIS OF THE CONSTRUCTIVE CONTENT OF HENKIN’S PROOF OF GÖDEL’S COMPLETENESS THEOREM

Authors: HUGO HERBELIN DANKO ILIK

Source: The Journal of Symbolic Logic. :1-41

Subject Terms: Mathematics - Logic

Access URL: http://arxiv.org/abs/2401.13304

ALGORITHMICALLY FINITE, UNIVERSAL, AND *-UNIVERSAL GROUPS

Authors: URI ANDREWS MENG-CHE HO

Source: The Journal of Symbolic Logic. :1-21

Subject Terms: 03D40, 20F10, 03D55, Mathematics - Logic, Mathematics - Group Theory

Access URL: http://arxiv.org/abs/2402.01882

Universal-existential theories of fields

Authors: Sylvy Anscombe Arno Fehm

Source: Proceedings of the Edinburgh Mathematical Society. :1-30

Subject Terms: 03C60, 12L05, 12L12, 12J20, 14H05, FOS: Mathematics, Mathematics - Logic, Logic (math.LO)

Access URL: http://arxiv.org/abs/2405.12771

Regular Representations of Uniform TC 0

Authors: Lauri Hella Juha Kontinen Kerkko Luosto

Source: ACM Transactions on Computational Logic. 26:1-46

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, FOS: Mathematics, Mathematics - Logic, Logic (math.LO), Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2309.06926

Varieties of MV-monoids and positive MV-algebras

Authors: Marco Abbadini Paolo Aglianò Stefano Fioravanti

Source: Journal of Algebra. 677:690-744

Subject Terms: Rings and Algebras (math.RA), FOS: Mathematics, Mathematics - Rings and Algebras, Mathematics - Logic, Lattice-ordered monoids, Lattice-ordered groups, Categorical equivalence, MV-algebras, Positive MV-algebras, Varieties of algebras, Equational axiomatization, Logic (math.LO), 06F05, 06D35, 03C05, 08B15, 08B26, 08C15

File Description: application/pdf

Access URL: http://arxiv.org/abs/2405.08471
https://www.sciencedirect.com/science/article/pii/S0021869325002492?via=ihub
https://hdl.handle.net/11365/1292274
https://doi.org/10.1016/j.jalgebra.2025.04.027

The vanishing levels of a tree

Authors: Assaf Rinot Shira Yadai Zhixing You

Source: Canadian Journal of Mathematics. :1-45

Subject Terms: FOS: Mathematics, Mathematics - Logic, Primary 03E05. Secondary 03E35, 03E55, Logic (math.LO)

Access URL: http://arxiv.org/abs/2309.03821

ON THE CATEGORICITY OF COMPLETE SECOND-ORDER THEORIES

Authors: TAPIO SAARINEN JOUKO ANTERO VÄÄNÄNEN WILLIAM HUGH WOODIN

Source: arXiv

Subject Terms: 03E35, 03E47, 03C85, FOS: Mathematics, Mathematics - Logic, Logic (math.LO)

Access URL: http://arxiv.org/abs/2405.03428

QUASI–INVARIANT MEASURES CONCENTRATING ON COUNTABLE STRUCTURES

Authors: CLINTON CONLEY COLIN JAHEL ARISTOTELIS PANAGIOTOPOULOS

Source: The Journal of Symbolic Logic. :1-12

Subject Terms: FOS: Mathematics, Mathematics - Logic, Dynamical Systems (math.DS), Mathematics - Dynamical Systems, Logic (math.LO)

Access URL: http://arxiv.org/abs/2408.07454

LYNDON INTERPOLATION PROPERTY FOR EXTENSIONS OF $\mathbf {S4}$ AND INTERMEDIATE PROPOSITIONAL LOGICS

Authors: Kurahashi, Taishi

Source: The Journal of Symbolic Logic. :1-33

Subject Terms: FOS: Mathematics, Mathematics - Logic, Logic (math.LO)

Access URL: http://arxiv.org/abs/2407.00505

DOMAINS, INFORMATION FRAMES, ROUGH SETS: AN EQUIVALENCE OF CATEGORIES

Authors: Spreen, Dieter

Source: Journal of Mathematical Sciences. 292:274-301

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, FOS: Mathematics, 06B35, 68Q55, Mathematics - Logic, Logic (math.LO), Logic in Computer Science (cs.LO), F.3.m

Access URL: http://arxiv.org/abs/2502.20991

Common transversals for coset spaces of compact groups

Authors: Hiroshi Ando Andreas Thom

Source: Groups, Geometry, and Dynamics. 19:397-414

Subject Terms: FOS: Mathematics, Mathematics - Logic, Group Theory (math.GR), Logic (math.LO), Mathematics - Group Theory

Access URL: http://arxiv.org/abs/2305.02612