نتائج البحث

Creative and geometric times in physics, mathematics, logic, and philosophy

• Authors : Del Santo, Flavio; Gisin, Nicolas

Subjects: Physics - History and Philosophy of Physics; Quantum Physics

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

Development of Phet Simulation-Based Mathematics Logic E-Modules in Increasing Students' Mathematical Reasoning Ability

• Authors : Dwi Oktaviana; Utin Desy Susiaty; Muhamad Firdaus

Subjects: e-module; mathematical reasoning ability; phet simulation

• Source: Kreano: Jurnal Matematika Kreatif-Inovatif, Vol 14, Iss 2, Pp 348-360 (2023)

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

Cibernética. Matemáticas, lógica y máquinas.

• Authors : SADOSKY, MANUEL¹

• Source: Acta Psiquiátrica y Psicológica de América Latina. jun2023, Vol. 69 Issue 2, p120-132. 13p.

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

Presentation of finite Reedy categories as localizations of finite direct categories

• Authors : Sato, Genki

Subjects: Mathematics - Category Theory; Mathematics - Algebraic Topology; Mathematics - Logic

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

The uniform Kruskal theorem over RCA$_0$

• Authors : Uftring, Patrick

Subjects: Mathematics - Logic; 03B30, 06A07, 05C05, 03F35

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

An exposition on the supersimplicity of certain expansions of the additive group of the integers

• Authors : Martin-Pizarro, Amador; Palacín, Daniel

Subjects: Mathematics - Logic

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

Hodge theory and o-minimality at CIRM

• Authors : Baldi, Gregorio

Subjects: Mathematics - Algebraic Geometry; Mathematics - Logic; Mathematics - Number Theory

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

Expansions and restrictions of structures and theories, their hierarchies

• Authors : Sudoplatov, Sergey V.

Subjects: Mathematics - Logic; 03C30, 03C45, 03C52

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

A formalization of Borel determinacy in Lean

• Authors : Manthe, Sven

Subjects: Mathematics - Logic; 68V20, 03E60; F.4.1

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

Morse functions definable in d-minimal structures

• Authors : Fujita, Masato

Subjects: Mathematics - Logic; 03C64, 57R35

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