Indice
13 relazioni: Decidibilità, Dimostrazione matematica, Estremo superiore e estremo inferiore, Insieme denso, Insieme limitato, Insieme numerabile, Isomorfismo d'ordine, Matematica, Numero reale, Ordine denso, Ordine totale, Spazio separabile, Teoria degli insiemi di Zermelo-Fraenkel.
- Teoria degli ordini
Decidibilità
Il concetto di decidibilità si trova in logica matematica e in teoria della computabilità con accezioni differenti.
Vedere Problema di Suslin e Decidibilità
Dimostrazione matematica
Una dimostrazione matematica è un processo di deduzione che, partendo da premesse assunte come valide (ipotesi) o da proposizioni dimostrate in virtù di queste premesse, determina la necessaria validità di una nuova proposizione in virtù della (sola) correttezza formale del ragionamento.
Vedere Problema di Suslin e Dimostrazione matematica
Estremo superiore e estremo inferiore
In matematica, l'estremo superiore di un insieme E contenuto in un insieme ordinato X è il più piccolo elemento dei maggioranti di E. In modo duale, l'estremo inferiore di E è definito come il più grande elemento dei minoranti di E. Estremo superiore e inferiore possono appartenere ad E oppure no.
Vedere Problema di Suslin e Estremo superiore e estremo inferiore
Insieme denso
In matematica, un sottoinsieme di uno spazio topologico è denso nello spazio topologico se ogni elemento dello spazio appartiene all'insieme o ne è un punto di accumulazione.
Vedere Problema di Suslin e Insieme denso
Insieme limitato
In matematica esistono varie nozioni di limitatezza di un insieme, dipendenti in gran parte dallo spazio in cui è immerso. Euristicamente si può dire che un insieme è limitato se ha "estensione finita" (ma non necessariamente nel senso di cardinalità finita).
Vedere Problema di Suslin e Insieme limitato
Insieme numerabile
In matematica, e più in particolare nella teoria degli insiemi, un insieme viene detto numerabile se i suoi elementi sono in numero finito oppure se possono essere messi in corrispondenza biunivoca con i numeri naturali.
Vedere Problema di Suslin e Insieme numerabile
Isomorfismo d'ordine
Nella teoria degli ordini, un isomorfismo d'ordine, o isotonia, è una funzione biettiva tra insiemi parzialmente ordinati, che ha la caratteristica di conservare nel codominio le relazioni d'ordine definite nel dominio.
Vedere Problema di Suslin e Isomorfismo d'ordine
Matematica
La matematica (dal greco: μάθημα (máthema), traducibile con i termini "scienza", "conoscenza" o "apprendimento"; μαθηματικός (mathematikós) significa "incline ad apprendere") è la disciplina che studia le quantità, i numeri, lo spazio,.
Vedere Problema di Suslin e Matematica
Numero reale
In matematica, i numeri reali possono essere descritti in maniera non formale come numeri ai quali è possibile attribuire uno sviluppo decimale finito o infinito, come pi.
Vedere Problema di Suslin e Numero reale
Ordine denso
In teoria degli ordini, una branca della matematica, una relazione d'ordine su un insieme X è detta densa se per ogni x, y in X tali che x x leq y Leftrightarrow f(x)leq f(y).
Vedere Problema di Suslin e Ordine denso
Ordine totale
In matematica, un ordine semplice/ordine totale o ordine lineare (o relazione d'ordine totale o lineare) è una relazione binaria su un insieme X che è riflessiva, antisimmetrica, transitiva (quindi una relazione d'ordine) e totale.
Vedere Problema di Suslin e Ordine totale
Spazio separabile
In matematica, e più precisamente in topologia, uno spazio separabile è uno spazio topologico che contiene un sottoinsieme numerabile e denso.
Vedere Problema di Suslin e Spazio separabile
Teoria degli insiemi di Zermelo-Fraenkel
In matematica, e in particolare in logica matematica, la teoria degli insiemi di Zermelo-Fraenkel comprende gli assiomi standard della teoria assiomatica degli insiemi su cui, insieme con l'assioma di scelta, si basa tutta la matematica ordinaria secondo formulazioni moderne.
Vedere Problema di Suslin e Teoria degli insiemi di Zermelo-Fraenkel
Vedi anche
Teoria degli ordini
- Algebra di incidenza
- Buon ordine
- Cofinalità
- Condizione della catena ascendente
- Continuo
- Coppia (matematica)
- Diagramma di Hasse
- Estremo superiore e estremo inferiore
- Filtro (matematica)
- Formula di inversione di Möbius
- Funzione monotona
- Greedoide
- Gruppo ordinato
- Immersione (matematica)
- Immersione d'ordine
- Insieme diretto
- Insieme limitato
- Intervallo (matematica)
- Isomorfismo d'ordine
- Lemma di Zorn
- Maggiorante e minorante
- Ordine denso
- Ordine lessicografico
- Ordine monomiale
- Ordine totale
- Preordine
- Principio di massimalità di Hausdorff
- Problema di Suslin
- Relazione seriale
- Relazione tricotomica
- Segmento iniziale
- Sezione di Dedekind
- Sottoinsieme cofinale
- Teorema di Knaster-Tarski
- Teorema di Pasch
- Teorema di Schur-Horn
- Teoria degli ordini
- Ultrafiltro