Search Results - "Model theory"

ON NP ∩ coNP PROOF COMPLEXITY GENERATORS.

Authors: KRAJÍČEK, JAN¹, jan.krajicek@protonmail.com

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-8, 8p

Some notes on uncountable models of arithmetic.

Authors: Wang, Wei¹ wangw68@mail.sysu.edu.cn

Source: Fundamenta Mathematicae. 2026, Vol. 273 Issue 1, p93-100. 8p.

Conant-independence and generalized free amalgamation.

Authors: Mutchnik, Scott^1,2 (AUTHOR) mutchnik@uic.edu

Source: Journal of Mathematical Logic. Apr2026, Vol. 26 Issue 1, p1-32. 32p.

Relative injective modules, superstability and noetherian categories.

Authors: Mazari-Armida, Marcos Rosický, Jiří

Source: Journal of Mathematical Logic. Apr2026, Vol. 26 Issue 1, p1-32. 32p.

Application of reliability models for crash frequency analysis: implications for network-wide safety performance.

Authors: Deljouyi, Nasim Patnala, Phani Kumar Mehran, Babak et al.

Source: Canadian Journal of Civil Engineering; 2025, Vol. 52 Issue 1, p60-73, 14p

Particular Reasoning Within Theories.

Authors: Rasga, João Sernadas, Cristina

Source: Logic & Logical Philosophy. Mar2026, Vol. 35 Issue 1, p129-165. 37p.

Products of pseudofinite structures.

Authors: D'Aquino, Paola Macintyre, Angus J.

Source: Fundamenta Mathematicae. 2026, Vol. 272 Issue 3, p261-269. 9p.

On NSOP2 theories.

Authors: Mutchnik, Scott¹ mutchnik@uic.edu

Source: Journal of the European Mathematical Society (EMS Publishing). 2026, Vol. 238 Issue 8, p3475-3498. 24p.

An isomorphism theorem for models of weak König’s lemma without primitive recursion.

Authors: Fiori-Carones, Marta Kołodziejczyk, Leszek Aleksander Wong, Tin Lok et al.

Source: Journal of the European Mathematical Society (EMS Publishing). 2026, Vol. 28 Issue 7, p3203-3233. 31p.

Forcing for an Optimal A -Translation.

Authors: Li, Rui¹ (AUTHOR)

Source: Logics. Mar2026, Vol. 4 Issue 1, p2. 11p.

Preservation of superamalgamation by expansions.

Authors: Lipparini, Paolo¹ lipparin@axp.mat.uniroma2.it

Source: Fundamenta Mathematicae. 2026, Vol. 272 Issue 3, p205-237. 33p.

Un principe d’Ax–Kochen–Ershov imaginaire.

Authors: Hils, Martin Rideau-Kikuchi, Silvain

Source: Journal of the European Mathematical Society (EMS Publishing). 2026, Vol. 28 Issue 3, p1009-1080. 72p.

A central decomposition of connected groups of finite Morley rank.

Authors: Bentbib, Rachad Frécon, Olivier

Source: Journal of Group Theory. Mar2026, Vol. 29 Issue 2, p419-435. 17p.

Forcing properties of Boolean algebras of type P(ω)/I.

Authors: Campero-Arena, Gabriela Guzmán-González, Osvaldo Hrušák, Michael et al.

Source: Fundamenta Mathematicae. 2026, Vol. 272 Issue 1, p1-24. 24p.

Naturality and definability III.

Authors: Asgharzadeh, Mohsen Golshani, Mohammad Shelah, Saharon

Source: Fundamenta Mathematicae. 2025, Vol. 271 Issue 2, p131-156. 26p.

THE SMALL INDEX PROPERTY — A THANK-YOU NOTE TO DOV GABBAY.

Authors: HODKINSON, IAN¹ i.hodkinson@imperial.ac.uk

Source: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP). Oct2025, Vol. 12 Issue 6, p1581-1591. 11p.

The umbilical cord of finite model theory.

Authors: Gurevich, Yuri¹

Source: Journal of Logic & Computation; Oct2025, Vol. 35 Issue 7, p1-15, 15p

Noetherian theories.

Authors: Martin-Pizarro, Amador Ziegler, Martin

Source: Journal of Mathematical Logic. Dec2025, Vol. 25 Issue 3, p1-31. 31p.

On countably closed mutually embeddable models.

Authors: Gitik, Moti¹, gitik@post.tau.ac.il

Source: Archive for Mathematical Logic; Nov2025, Vol. 64 Issue 7/8, p1127-1131, 5p

Generalized cardinal invariants for an inaccessible κ with compactness at κ++.

Authors: Honzik, Radek Stejskalová, Šárka

Source: Archive for Mathematical Logic; Nov2025, Vol. 64 Issue 7/8, p1077-1102, 26p