Full satisfaction classes, definability, and automorphisms (Q2153826): Difference between revisions

@@ Property / cites work @@
+Deflationary truth and pathologies
@@ Property / cites work: Deflationary truth and pathologies / rank @@
+Normal rank
@@ Property / cites work @@
+Truth, disjunction, and induction
@@ Property / cites work: Truth, disjunction, and induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5273442
@@ Property / cites work: Q5273442 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+A Rather Classless Model
@@ Property / cites work: A Rather Classless Model / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on satisfaction classes
@@ Property / cites work: A note on satisfaction classes / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal satisfaction classes with an application to rigid models of Peano arithmetic
+Normal rank
@@ Property / cites work @@
+Q5484945
@@ Property / cites work: Q5484945 / rank @@
+Normal rank
@@ Property / cites work @@
+DISJUNCTIONS WITH STOPPING CONDITIONS
@@ Property / cites work: DISJUNCTIONS WITH STOPPING CONDITIONS / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of Satisfaction Classes for Nonstandard Models
+Normal rank
@@ Property / cites work @@
+Full Satisfaction Classes and Recursive Saturation
+Normal rank
@@ Property / cites work @@
+On Languages Which are Based on Non-Standard Arithmetic
+Normal rank
@@ Property / cites work @@
+Toward model theory through recursive saturation
@@ Property / cites work: Toward model theory through recursive saturation / rank @@
+Normal rank
@@ Property / cites work @@
+Kernels, truth and satisfaction
@@ Property / cites work: Kernels, truth and satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard definability
@@ Property / cites work: Nonstandard definability / rank @@
+Normal rank