Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  17 results for ""[MATH.MATH-LO]Mathematics [math]/Logic [math.LO]""

Your Filters

Collection : Hal Lyon 1 (University Claude Bernard Lyon 1) Language : french Filter by : Subject
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Quasi groupes de Frobenius dimensionnels

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]

  • Source: ISSN: 2832-904X.

Record details

Read More Add to Saved list
×
Dissertation/ Thesis

Corps de classes, formes modulaires, et formalisation

Subjects: Iwasawa Theory; Modular Forms; Proof Assistant

  • Source: https://ujm.hal.science/ujm-04198760 ; Théorie des nombres [math.NT]. Université Jean Monnet Saint-Étienne, 2023.

Record details

Read More Add to Saved list
×
Academic Journal

UN CRITÈRE SIMPLE

Subjects: Pseudo-algebraically Closed Fields; Model Theory; Simple Theories

  • Source: ISSN: 0029-4527 ; Notre Dame Journal of Formal Logic ; https://hal.science/hal-01485675 ; Notre Dame Journal of Formal Logic, 2019, 60

Record details

Read More Add to Saved list
×
Dissertation/ Thesis

Study of quasi-Frobenius groups and K-loops of finite Morley rank ; Étude des quasi-groupes de Frobenius et des K-boucles de rang de Morley fini

Subjects: group of finite Morley rank; near-domain; Frobenius group

  • Source: https://theses.hal.science/tel-03765160 ; Théorie des groupes [math.GR]. Université Claude Bernard Lyon 1, 2022. Français. ⟨NNT : ⟩.

Record details

Read More Add to Saved list
×
Academic Journal

Looking for the lost torus ; A la recherche du tore perdu

Subjects: Model Theory; amalgamation method; flatness

  • Source: ISSN: 0022-4812.

Record details

Read More Add to Saved list
×
Academic Journal

Relative geometries ; Géométries relatives

Subjects: Model theory; Hrushovski Amalgamation; CM-triviality

  • Source: ISSN: 1435-9855.

Record details

Read More Add to Saved list
×
Report

Comments on a Theorem by Olivier Frécon ; Commentaires sur un résultat d'Olivier Frécon

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]

  • Source: https://hal.science/hal-01368750 ; 2016.

Record details

Read More Add to Saved list
×
Academic Journal

Groupes fins

Subjects: théorie des modèles; rang de Cantor-Bendixson; condition de chaîne locale

  • Source: ISSN: 0022-4812.

Record details

Read More Add to Saved list
×
Academic Journal

DE BEAUX GROUPES

Subjects: 03C45; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

  • Source: ISSN: 1793-7442.

Record details

Read More Add to Saved list
×
Academic Journal

Quelques réflexions inévitables (Some inevitable considerations)

Subjects: simple theory; stable group; geometric family of subgroups

  • Source: ISSN: 0933-5846.

Record details

Read More Add to Saved list
×
  • 1-10 of  17 results for ""[MATH.MATH-LO]Mathematics [math]/Logic [math.LO]""