Iterated ultrapowers for the masses (Q1661675): Difference between revisions

@@ Property / describes a project that uses @@
+ACL2
@@ Property / describes a project that uses: ACL2 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2589862496
@@ Property / OpenAlex ID: W2589862496 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59612236
@@ Property / Wikidata QID: Q59612236 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03487
@@ Property / arXiv ID: 1702.03487 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3391907
@@ Property / cites work: Q3391907 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated elementary embeddings and the model theory of infinitary logic
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphisms with only infinite orbits on non-algebraic elements
+Normal rank
@@ Property / cites work @@
+Models of axiomatic theories admitting automorphisms
+Normal rank
@@ Property / cites work @@
+Q4656800
@@ Property / cites work: Q4656800 / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphisms of models of bounded arithmetic
@@ Property / cites work: Automorphisms of models of bounded arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5393634
@@ Property / cites work: Q5393634 / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphisms of models of arithmetic: a unified view
+Normal rank
@@ Property / cites work @@
+Largest initial segments pointwise fixed by automorphisms of models of set theory
+Normal rank
@@ Property / cites work @@
+Iterated ultrapowers for the masses
@@ Property / cites work: Iterated ultrapowers for the masses / rank @@
+Normal rank
@@ Property / cites work @@
+Reduced direct products
@@ Property / cites work: Reduced direct products / rank @@
+Normal rank
@@ Property / cites work @@
+Q5561944
@@ Property / cites work: Q5561944 / rank @@
+Normal rank
@@ Property / cites work @@
+Models and types of Peano's arithmetic
@@ Property / cites work: Models and types of Peano's arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4656803
@@ Property / cites work: Q4656803 / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A definable nonstandard model of the reals
@@ Property / cites work: A definable nonstandard model of the reals / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphisms of recursively saturated models of arithmetic
+Normal rank
@@ Property / cites work @@
+Q4309351
@@ Property / cites work: Q4309351 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5484945
@@ Property / cites work: Q5484945 / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphisms moving all non-algebraic points and an application to NF
+Normal rank
@@ Property / cites work @@
+Some applications of iterated ultrapowers in set theory
+Normal rank
@@ Property / cites work @@
+Q3230356
@@ Property / cites work: Q3230356 / rank @@
+Normal rank
@@ Property / cites work @@
+A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
+Normal rank
@@ Property / cites work @@
+Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
+Normal rank