Page 1 Next

Displaying 1 – 20 of 196

Showing per page

D -posets

František Kôpka, Ferdinand Chovanec (1994)

Mathematica Slovaca

Dal superamento del riduzionismo insiemistico alla ricerca di una più ampia e profonda comprensione tra matematici e studiosi di altre discipline scientifiche ed umanistiche

Ennio De Giorgi (1998)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Proponiamo in questa Nota un quadro assiomatico aperto e non riduzionista, che si basa sulle idee primitive di qualità e relazione, in cui speriamo sia possibile innestare i concetti fondamentali della Matematica, della Logica e dell’Informatica (di cui diamo solo alcuni primissimi esempi). Auspichiamo che sviluppando liberamente tale quadro sia possibile giungere ad un fruttuoso confronto critico delle idee fondamentali delle diverse discipline scientifiche ed umanistiche, non ristretto agli «specialisti...

De beaux groupes

Thomas Blossier, Amador Martin-Pizarro (2014)

Confluentes Mathematici

Dans une belle paire ( M , E ) de modèles d’une théorie stable T ayant élimination des imaginaires sans la propriété de recouvrement fini, tout groupe définissable se projette, à isogénie près, sur les points E -rationnels d’un groupe définissable dans le réduit à paramètres dans E . Le noyau de cette projection est un groupe définissable dans le réduit.Un groupe interprétable dans une paire ( K , F ) de corps algébriquement clos où K est une extension propre de F est, à isogénie près, l’extension des points F -rationnels...

Decidability and definability results related to the elementary theory of ordinal multiplication

Alexis Bès (2002)

Fundamenta Mathematicae

The elementary theory of ⟨α;×⟩, where α is an ordinal and × denotes ordinal multiplication, is decidable if and only if α < ω ω . Moreover if | r and | l respectively denote the right- and left-hand divisibility relation, we show that Th ω ω ξ ; | r and Th ω ξ ; | l are decidable for every ordinal ξ. Further related definability results are also presented.

Decidability of code properties

Henning Fernau, Klaus Reinhardt, Ludwig Staiger (2007)

RAIRO - Theoretical Informatics and Applications

We explore the borderline between decidability and undecidability of the following question: “Let C be a class of codes. Given a machine 𝔐 of type X, is it decidable whether the language L ( 𝔐 ) lies in C or not?” for codes in general, ω-codes, codes of finite and bounded deciphering delay, prefix, suffix and bi(pre)fix codes, and for finite automata equipped with different versions of push-down stores and counters.

Currently displaying 1 – 20 of 196

Page 1 Next