⌘K

Domaines

⊢Foundations & Logic1 ℕNumber Theory2 ⊞Algebra3 ⊗Combinatorics1 △Geometry1 ◎Topology ∫Analysis ∂Diff. Equations ℙProbability & Stats1 ≈Numerical ƒApplied1 ⟨⟩Math & CS1 +School Basics ∞Recreational2

Niveau

①Collège ②Lycée1 ③Licence3 ④Master1 ⑤Recherche

Format

≡Cours ◈Explication4 ◉Analyse1 ▶Essai visuel ✎Exercice

Explorer/Foundations & Logic/First order theories

First order theories

Aucun article

Theory of pure equality Real closed field Formally real field Perfect field Field characteristic Prime field Differential field Decidability of first order theories of the real numbers Tarskiseidenberg theorem Linear order Binary function Completeness theorem Diamondsuit Differential polynomial Elsevier Equivalence class Group Model complete Non negative integer Powerset Separant Stable Tarski seidenberg theorem Torsion free group + 2 de plus

∅

Pas encore d'articles dans cette catégorie — ça arrive.

Tendances

1

x + 1/x = 3, et l'échelle jusqu'à x⁵ + 1/x⁵Algebra · 7 min

2

Pourquoi les triangles aléatoires attrapent le centre du cercle une fois sur quatreProbability & Statistics · 9 min

3

Machines à vecteurs de support : la rue la plus large gagneMathematics & Computer Science · 8 min

Récents

•

Tout tournoi contient une chaîne gagnante (théorème de Rédei)Explainer · 7 min

•

Quels polynômes envoient ℚ sur ℚ ? La réponse complèteDeep dive · 11 min

Les nouveaux articles, direct dans ta boîte mail

J'accepte de recevoir des emails de Lambdia et j'ai lu la politique de confidentialité. Désinscription à tout moment.

Suivez-nous

© 2026 LambdiaMentions légales · Confidentialité · L'ebook