Indice
22 relazioni: Andrzej Mostowski, Appartenenza, Assioma di estensionalità, Bisimulazione, Classe (matematica), Elemento (insiemistica), Immagine (matematica), Inclusione (matematica), Insieme, Insieme transitivo, Insieme vuoto, Isomorfismo, Logica matematica, Mappa (matematica), Omomorfismo, Relazione ben fondata, Relazione binaria, Se e solo se, Segmento iniziale, Struttura (matematica), Teoria degli insiemi, Teoria dei modelli.
Andrzej Mostowski
Nato a Lemberg, in Austria-Ungheria (l'attuale Leopoli in Ucraina), iniziò i suoi studi all'Università di Varsavia nel 1931 per concluderli nel 1936.
Vedere Lemma del collasso di Mostowski e Andrzej Mostowski
Appartenenza
In matematica, in particolare in teoria degli insiemi, l'appartenenza (simbolo in) di un elemento a ad un insieme X è la relazione (binaria) che stabilisce se a è compreso, in senso intuitivo, tra gli elementi di X. Se l'elemento a appartiene all'insieme X si scrive a in X, in caso contrario a notin X.
Vedere Lemma del collasso di Mostowski e Appartenenza
Assioma di estensionalità
Nella teoria degli insiemi, l'assioma di estensionalità, o assioma dell'estensione, è uno degli assiomi della teoria degli insiemi di Zermelo-Fraenkel.
Vedere Lemma del collasso di Mostowski e Assioma di estensionalità
Bisimulazione
Nel campo dell'informatica teorica la bisimulazione è una relazione binaria tra sistemi a transizione di stati, che associa due sistemi quando si comportano nello stesso modo, quando cioè un sistema simula l'altro e viceversa.
Vedere Lemma del collasso di Mostowski e Bisimulazione
Classe (matematica)
Nella moderna teoria degli insiemi, per classe si intende una generica collezione di oggetti che possono essere univocamente identificati (per esempio, tramite una proprietà che li accomuni).
Vedere Lemma del collasso di Mostowski e Classe (matematica)
Elemento (insiemistica)
In matematica, un elemento è un oggetto contenuto in un insieme (o più in generale in una classe). Il fatto che x è un elemento dell'insieme A si indica con la scrittura "x ∈ A".
Vedere Lemma del collasso di Mostowski e Elemento (insiemistica)
Immagine (matematica)
In matematica, limmagine di un sottoinsieme del dominio di una funzione è l'insieme degli elementi ottenuti applicando la funzione a tale sottoinsieme.
Vedere Lemma del collasso di Mostowski e Immagine (matematica)
Inclusione (matematica)
In matematica, e in particolare in teoria degli insiemi, l'inclusione, indicata con subseteq, è una relazione binaria tra insiemi definita nel seguente modo: "l'insieme B è contenuto o incluso nell'insieme A se, per ogni elemento x, se x appartiene a B allora x appartiene ad A".
Vedere Lemma del collasso di Mostowski e Inclusione (matematica)
Insieme
In matematica, una collezione di elementi rappresenta un insieme se esiste un criterio oggettivo che permette di decidere univocamente se un qualunque elemento fa parte o no del raggruppamento.
Vedere Lemma del collasso di Mostowski e Insieme
Insieme transitivo
In matematica, e in particolare in teoria degli insiemi, un insieme A si dice transitivo se vale una delle seguenti condizioni equivalenti.
Vedere Lemma del collasso di Mostowski e Insieme transitivo
Insieme vuoto
Nella teoria degli insiemi si indica con insieme vuoto quel particolare insieme che non contiene alcun elemento. Nella teoria assiomatica degli insiemi l'assioma dell'insieme vuoto ne postula l'esistenza.
Vedere Lemma del collasso di Mostowski e Insieme vuoto
Isomorfismo
In matematica, in particolare in algebra astratta, un isomorfismo (dal greco ἴσος, isos, che significa uguale, e μορφή, morphé, che significa forma) è un'applicazione biunivoca fra oggetti matematici tale che l'applicazione e la sua inversa siano omomorfismi.
Vedere Lemma del collasso di Mostowski e Isomorfismo
Logica matematica
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica.
Vedere Lemma del collasso di Mostowski e Logica matematica
Mappa (matematica)
Il termine mappa in matematica è spesso usato come sinonimo di funzione. Quindi, per esempio, una mappa parziale è una funzione parziale e una mappa totale è una funzione totale.
Vedere Lemma del collasso di Mostowski e Mappa (matematica)
Omomorfismo
In algebra astratta, un omomorfismo è un'applicazione tra due strutture algebriche dello stesso tipo che conserva le operazioni in esse definite.
Vedere Lemma del collasso di Mostowski e Omomorfismo
Relazione ben fondata
In matematica, una relazione binaria R si dice ben fondata su una classe X se ogni sottoinsieme non vuoto S ⊆ X ha un elemento minimale rispetto a R, cioè un elemento m per cui, per ogni s ∈ S, non valga s R m. In altre parole, una relazione è ben fondata se: Alcuni autori includono un'ulteriore condizione, vale a dire che R sia simile ad un insieme, cioè che gli elementi minori di un qualunque elemento dato formino a loro volta un insieme.
Vedere Lemma del collasso di Mostowski e Relazione ben fondata
Relazione binaria
In matematica, una relazione binaria definita di un insieme, anche detta relazione o corrispondenza tra due oggetti, è un elenco di coppie ordinate di elementi appartenenti all'insieme.
Vedere Lemma del collasso di Mostowski e Relazione binaria
Se e solo se
In matematica, filosofia, logica e nei campi tecnici che ne dipendono, si usa spesso l'espressione se e solo se, o l'abbreviazione sse, per esprimere l'equivalenza logica di due enunciati, esplicitando che i due enunciati hanno lo stesso valore di verità: se è vero il secondo allora è vero anche il primo, e viceversa.
Vedere Lemma del collasso di Mostowski e Se e solo se
Segmento iniziale
In matematica si definisce segmento iniziale (o taglio iniziale, o sottoinsieme chiuso verso il basso) di un dato insieme totalmente ordinato (X, un qualsiasi suo sottoinsieme Y tale che: Il nome deriva abbastanza naturalmente dalla "forma" che un tale insieme ha: segmento perché non ha "buchi" - se a, b sono in Y, ogni elemento tra a e b sarà in Y - iniziale perché contiene gli elementi di X più piccoli.
Vedere Lemma del collasso di Mostowski e Segmento iniziale
Struttura (matematica)
In matematica, una struttura su un insieme è costituita da oggetti matematici addizionali che in qualche modo si sovrappongono all'insieme, consentendo di visualizzarlo, lavorarci, usarlo come strumento di calcolo e di assegnare uno specifico significato all'insieme e ai suoi elementi.
Vedere Lemma del collasso di Mostowski e Struttura (matematica)
Teoria degli insiemi
La teoria degli insiemi è una teoria matematica posta ai fondamenti della matematica stessa, collocandosi nell'ambito della logica matematica.
Vedere Lemma del collasso di Mostowski e Teoria degli insiemi
Teoria dei modelli
La teoria dei modelli è una branca della matematica, e più precisamente della logica, che affronta lo studio generalizzato del concetto di modello, in riferimento alle relazioni tra varie strutture ed in particolare alla soddisfacibilità di date teorie.
Vedere Lemma del collasso di Mostowski e Teoria dei modelli