نتائج البحث

Derived equivalences of upper-triangular ring spectra via lax limits

• Authors : Jasso, Gustavo

Subjects: derived equivalences; reflection functors; ring spectrum

• Source: Comptes Rendus Mathematique. 362:279-285

تفاصيل العنوان

A Hilbert-space variant of Geršgorin's circle theorem

• Authors : Rubin, Olof; Carlsson, Marcus

Subjects: Naturvetenskap; Matematik; Algebra och logik

• Source: Mathematische Nachrichten eSSENCE: The e-Science Collaboration.

تفاصيل العنوان

The three-pion K-matrix at NLO in ChPT

• Authors : Baeza-Ballesteros, Jorge; Bijnens, Johan; Husek, Tomáš

Subjects: Chiral Lagrangian; Hadronic Spectroscopy; Lattice QCD

• Source: Journal of High Energy Physics. 2024(3)

تفاصيل العنوان

Simplicity Of Leavitt Path Algebras Via Graded Ring Theory

• Authors : Lundström, Patrik, 1971; Öinert, Johan

Subjects: Natural Sciences; Mathematics; Algebra and Logic

• Source: Bulletin of the Australian Mathematical Society. 108(3):428-437

تفاصيل العنوان

The finitely generated Hausdorff spectra of a family of pro-p groups

• Authors : de las Heras, Iker; Thillaisundaram, Anitha

Subjects: Finitely generated Hausdorff spectrum; Hausdorff dimension; Normal Hausdorff spectrum

• Source: Journal of Algebra. 606:266-297

تفاصيل العنوان

Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps

• Authors : Berkholz, Christoph; Nordström, Jakob

Subjects: bounded variable fragment; first-order counting logic; First-order logic

• Source: Journal of the ACM. 70(5)

تفاصيل العنوان

Subalgebras in K[x] of small codimension

• Authors : Grönkvist, Rode; Leffler, Erik; Torstensson, Anna

Subjects: Derivation; Resultant; SAGBI basis

• Source: Applicable Algebra in Engineering, Communications and Computing. 33(6):751-789

تفاصيل العنوان

Hom-Leibniz bialgebras and BiHom-Leibniz dendriform algebras

• Authors : Laraiedh, Ismail; Silvestrov, Sergei, Professor, 1970

Subjects: Natural Sciences; Mathematics; Algebra and Logic

• Source: Afrika Matematika. 34(2)

تفاصيل العنوان

Representation theorems for abelian and model categories

• Authors : Montaruli, Anna Giulia, 1990;

Subjects: Category Theory; Logic; Algebra

تفاصيل العنوان

Introducing the chirality-flow formalism

• Authors : Lifson, Andrew; Reuschle, Christian; Sjödahl, Malin

Subjects: Naturvetenskap; Fysik; Subatomär fysik

• Source: Acta Physica Polonica B. 51(6):1547-1557

تفاصيل العنوان

Persistent homology and the shape of evolutionary games

• Authors : Stenseke, Jakob

Subjects: Persistent homology; Evolutionary games; Game theory

• Source: Journal of Theoretical Biology eSSENCE: The e-Science Collaboration. 531

تفاصيل العنوان

Logical Dialogues with Explicit Preference Profiles and Strategy Selection

• Authors : Genot, Emmanuel; Jacot, Justine

Subjects: Game semantics; Dialogical Logic; Game-theoretic semantics

• Source: Journal of Logic, Language and Information. 26(3):261-291

تفاصيل العنوان

Completeness for coalgebraic fixpoint logic

• Authors : Enqvist, Sebastian; Seifan, Fatemeh; Venema, Yde

Subjects: Automata; Coalgebra; Coalgebraic modal logic

• Source: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016 and the 30th Workshop on Computer Science Logic,Marseille, France,--

تفاصيل العنوان

State and Path Coalition Effectivity Models for Logics of Multi-Player Games

• Authors : Goranko, Valentin, 1959; Jamroga, Wojciech

Subjects: Multi-step games; Coalitional effectivity models; Alternating-time temporal logic

• Source: Autonomous Agents and Multi-Agent Systems. 30(3):446-485

تفاصيل العنوان

A Proof and Formalization of the Initiality Conjecture of Dependent Type Theory

• Authors : de Boer, Menno, 1994;

Subjects: Dependent type theory; Category theory; Contextual categories

تفاصيل العنوان

Relationships between Specified and Underspecified Quantification by the Theory of Acyclic Recursion

• Authors : Loukanova, Roussanka

Subjects: recursion; type-theory; semantics

• Source: ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal. 5(4):19-42

تفاصيل العنوان

Limit laws and automorphism groups of random nonrigid structures

• Authors : Ahlman, Ove; Koponen, Vera, 1968

Subjects: finite model theory; limit law; zero-one law

• Source: Journal of Logic and Analysis. 7(2):1-53

تفاصيل العنوان

Frank Ramsey (1903-1930)

• Authors : Sahlin, Nils-Eric;

Subjects: Frank Ramsey; Mathematics; Logic

• Source: Preprint without journal information.

تفاصيل العنوان

Proceedings of the Symposium on Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018)

• Authors : Angelov, Krasimir, Editor; Liefke, Kristina, Editor; Loukanova, Roussanka, Editor

Subjects: logic; mathematics; computer science

تفاصيل العنوان

Limit Laws, Homogenizable Structures and Their Connections

• Authors : Ahlman, Ove, 1988;

Subjects: Model theory; random structure; finite model theory

• Source: Uppsala Dissertations in Mathematics.

تفاصيل العنوان

Proceedings of the Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017)

• Authors : Loukanova, Roussanka, Editor; Liefke, Kristina, Editor

Subjects: logic; mathematics; computer science

تفاصيل العنوان

Contributions to Pointfree Topology and Apartness Spaces

• Authors : Hedin, Anton, 1982;

Subjects: Constructive mathematics; General topology; Pointfree topology

• Source: Uppsala Dissertations in Mathematics.

تفاصيل العنوان

The Domain Theoretic Derivative in Formal Topology

• Authors : Hedin, Anton

Subjects: MATHEMATICS; Algebra; geometry and mathematical analysis

• Source: U.U.D.M. report / Uppsala University, Department of Mathematics.

تفاصيل العنوان

Constructing a small category of setoids

• Authors : Wilander, K. O.

Subjects: MATHEMATICS; Algebra; geometry and mathematical analysis

• Source: U.U.D.M. report / Uppsala University, Department of Mathematics.

تفاصيل العنوان

Local Scott Compactification

• Authors : Hedin, Anton

Subjects: MATHEMATICS; Algebra; geometry and mathematical analysis

• Source: U.U.D.M. report / Uppsala University, Department of Mathematics.

تفاصيل العنوان

A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis

• Authors : Palmgren, Erik

Subjects: MATHEMATICS; Algebra; geometry and mathematical analysis

• Source: U.U.D.M. report / Uppsala University, Department of Mathematics.

تفاصيل العنوان

A Natural Interpretation of Classical Proofs

• Authors : Brage, Jens, 1975;

Subjects: Brouwer-Heyting-Kolmogorov; classical logic; constructive type theory

تفاصيل العنوان

Effective Domains and Admissible Domain Representations

• Authors : Hamrin, Göran, 1970;

Subjects: Logic; symbolic and mathematical; domain theory

• Source: Uppsala Dissertations in Mathematics.

تفاصيل العنوان

Ultrasheaves

• Authors : Eliasson, Jonas, 1971;

Subjects: Logic; symbolic and mathematical; 03G30

• Source: Uppsala Dissertations in Mathematics.

تفاصيل العنوان

Reduced fusion systems over 2-groups of small order

• Authors : Andersen, Kasper K.S.; Oliver, Bob; Ventura, Joana

Subjects: Finite simple groups; Fusion; Sylow subgroups

• Source: Journal of Algebra. 489:310-372

تفاصيل العنوان

Effective Distribution Theory

• Authors : Dahlgren, Fredrik, 1977;

Subjects: Computable mathematics; computable analysis; domain theory

• Source: Uppsala Dissertations in Mathematics.

تفاصيل العنوان

Unifying the model theory of first-order and second-order arithmetic via WKL*_0

• Authors : Enayat, Ali, 1959; Wong, Tin Lok

Subjects: Mathematics; Matematik; Algebra and Logic

• Source: Annals of Pure and Applied Logic. 30(6):1247-1283

تفاصيل العنوان

Homogeneous 1-based structures and interpretability in random structures

• Authors : Koponen, Vera, 1968

Subjects: model theory; homogeneous structure; simple theory

• Source: Mathematical logic quarterly. 63(1-2):6-18

تفاصيل العنوان

Density of disk algebra functions in de Branges-Rovnyak spaces

• Authors : Aleman, Alexandru; Malman, Bartosz

Subjects: Naturvetenskap; Matematik; Algebra och logik

• Source: Comptes Rendus Mathématique. 355(8):871-875

تفاصيل العنوان

Effective Domains and Admissible Domain Representations

• Authors : Hamrin, Göran, 1970;

Subjects: Logic; symbolic and mathematical; domain theory

• Source: Uppsala dissertations in Mathematics.

تفاصيل العنوان

Topics in geometry, analysis and inverse problems

• Authors : Rullgård, Hans, 1978;

Subjects: Laurent series; Harnack curves; differential equations

تفاصيل العنوان

Reduced spectral synthesis and compact operator synthesis

• Authors : Shulman, V. S.; Todorov, I. G.; Turowska, Lyudmila, 1971

Subjects: Algebra and Logic; Algebra och logik; Spectral synthesis

• Source: Advances in Mathematics. 367

تفاصيل العنوان

Inversion problem in measure and Fourier-Stieltjes algebras

• Authors : Ohrysko, Przemyslaw; Wasilewski, M.

Subjects: Algebra and Logic; Algebra och logik; Inverse

• Source: Journal of Functional Analysis. 278(5)

تفاصيل العنوان

Outer Partial Actions and Partial Skew Group Rings

• Authors : Nystedt, Patrik; Öinert, Johan

Subjects: outer action; partial action; minimality

• Source: Canadian Journal of Mathematics. 67(5):1144-1160

تفاصيل العنوان

Open sublocales of localic completions

• Authors : Palmgren, Erik

Subjects: MATHEMATICS; Algebra; geometry and mathematical analysis

• Source: Journal of Logic and Analysis. 2(1):1-22

تفاصيل العنوان

Entropy of formulas

• Authors : Koponen, Vera, 1968

Subjects: first-order logic; finite models; entropy

• Source: Archive for mathematical logic. 48(6):515-522

تفاصيل العنوان

Resolution of the uniform lower bound problem in constructive analysis

• Authors : Palmgren, Erik

Subjects: MATHEMATICS; Algebra; geometry and mathematical analysis

• Source: Mathematical logic quarterly. 54(1):65-69

تفاصيل العنوان

Locally cartesian closed categories without chosen constructions

• Authors : Palmgren, Erik

Subjects: MATHEMATICS; Algebra; geometry and mathematical analysis

• Source: Theory and Applications of Categories. 20:5-17

تفاصيل العنوان

Random graphs with bounded maximum degree: asymptotic structure and a logical limit law

• Authors : Koponen, Vera, 1968

Subjects: random graph; bounded degree; finite model theory

• Source: Discrete Mathematics & Theoretical Computer Science. 14(2):229-254

تفاصيل العنوان

Asymptotic probabilities of extension properties and random l-colourable structures

• Authors : Koponen, Vera

Subjects: Mathematics; Matematik; Mathematical Logic

• Source: Annals of Pure and Applied Logic. 163(4):391-438

تفاصيل العنوان

Constructing a small category of setoids

• Authors : Wilander, Olov, 1980

Subjects: MATHEMATICS; MATEMATIK; Mathematical Logic

• Source: Mathematical Structures in Computer Science. 22(1):103-121

تفاصيل العنوان

Games with 1-backtracking

• Authors : Berardi, S.; Coquand, Thierry, 1961; Hayashi, S.

Subjects: Learning in the limit; Recursive degree; Classical logic

• Source: Annals of Pure and Applied Logic. 161(10):1254-1269

تفاصيل العنوان

Independence and the finite submodel property

• Authors : Koponen, Vera, 1968

Subjects: model theory; independence; finite submodel property

• Source: Annals of Pure and Applied Logic. 158(1-2):58-79

تفاصيل العنوان

On explicating the concept the power of an arithmetical theory

• Authors : Sjögren, Jörgen

Subjects: Gregory Chaitin; explication; measurement

• Source: Journal of Philosophical Logic. 37(2):183-202

تفاصيل العنوان

The finite submodel property and ω-categorical expansions of pregeometries

• Authors : Djordjevic, Marko

Subjects: Model theory; Finite submodel property; Pregeometry

• Source: Annals of Pure and Applied Logic. 139(1-3):201-229

تفاصيل العنوان