Robinson forcing is not absolute (Q1245825): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Some consequences of the axiom of constructibility
+Normal rank
@@ Property / cites work @@
+Absolute logics and L∞ω
@@ Property / cites work: Absolute logics and L∞ω / rank @@
+Normal rank
@@ Property / cites work @@
+The Shoenfield absoluteness lemma
@@ Property / cites work: The Shoenfield absoluteness lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Completing theories by forcing
@@ Property / cites work: Completing theories by forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4774049
@@ Property / cites work: Q4774049 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+The model-companion of a class of structures
@@ Property / cites work: The model-companion of a class of structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573370
@@ Property / cites work: Q5573370 / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of constructibility
@@ Property / cites work: Aspects of constructibility / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to large cardinals
@@ Property / cites work: Set theory. An introduction to large cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Model-completions and modules
@@ Property / cites work: Model-completions and modules / rank @@
+Normal rank
@@ Property / cites work @@
+Persistent and invariant formulas relative to theories of higher order
+Normal rank
@@ Property / cites work @@
+Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
+Normal rank
@@ Property / cites work @@
+Consistency of the Continuum Hypothesis. (AM-3)
@@ Property / cites work: Consistency of the Continuum Hypothesis. (AM-3) / rank @@
+Normal rank
@@ Property / cites work @@
+The forcing companions of number theories
@@ Property / cites work: The forcing companions of number theories / rank @@
+Normal rank
@@ Property / cites work @@
+The Model Companion of ZF
@@ Property / cites work: The Model Companion of ZF / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing, arithmetic, division rings
@@ Property / cites work: Forcing, arithmetic, division rings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5328221
@@ Property / cites work: Q5328221 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures in set theory with particular emphasis on the method of forcing
+Normal rank
@@ Property / cites work @@
+Q5626664
@@ Property / cites work: Q5626664 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
+Normal rank
@@ Property / cites work @@
+A hierarchy of formulas in set theory
@@ Property / cites work: A hierarchy of formulas in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Omitting quantifier-free types in generic structures
+Normal rank
@@ Property / cites work @@
+On algebraically closed groups
@@ Property / cites work: On algebraically closed groups / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Axioms for Infinite-Generic Structures
@@ Property / cites work: A Note on Axioms for Infinite-Generic Structures / rank @@
+Normal rank
@@ Property / cites work @@
+DIOPHANTINE REPRESENTATION OF ENUMERABLE PREDICATES
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+The subscript of ℵ_{𝑛} ,projective dimension, and the vanishing of lim_{←}⁽ⁿ⁾
+Normal rank
@@ Property / cites work @@
+Q5534205
@@ Property / cites work: Q5534205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626647
@@ Property / cites work: Q5626647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633987
@@ Property / cites work: Q5633987 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613180
@@ Property / cites work: Q5613180 / rank @@
+Normal rank
@@ Property / cites work @@
+On the notion of algebraic closedness for noncommutative groups and fields
+Normal rank
@@ Property / cites work @@
+Model theory and algebra. A memorial tribute to Abraham Robinson
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+m-existentially complete structures
@@ Property / cites work: m-existentially complete structures / rank @@
+Normal rank
@@ Property / cites work @@
+Commutative Regular Rings without Prime Model Extensions
+Normal rank
@@ Property / cites work @@
+Infinite Abelian groups, Whitehead problem and some constructions
+Normal rank
@@ Property / cites work @@
+Q5559240
@@ Property / cites work: Q5559240 / rank @@
+Normal rank
@@ Property / cites work @@
+Existentially closed structures
@@ Property / cites work: Existentially closed structures / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing for Infinitary Languages
@@ Property / cites work: Forcing for Infinitary Languages / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1245825