European Summer Meeting of the Association for Symbolic Logic (Q3677726): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2273818
@@ Property / full work available at URL: https://doi.org/10.2307/2273818 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1532785807
@@ Property / OpenAlex ID: W1532785807 / rank @@
+Normal rank
@@ Property / cites work @@
+On certain lattices of degrees of interpretability
+Normal rank
@@ Property / cites work @@
+— Consistency and faithful interpretations
@@ Property / cites work: 1 — Consistency and faithful interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of real functions
@@ Property / cites work: Computational complexity of real functions / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible representations of effective cpo's
@@ Property / cites work: Admissible representations of effective cpo's / rank @@
+Normal rank
@@ Property / cites work @@
+Q3910522
@@ Property / cites work: Q3910522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Internal set theory: A new approach to nonstandard analysis
+Normal rank
@@ Property / cites work @@
+Turing machines and the spectra of first-order formulas
+Normal rank
@@ Property / cites work @@
+An essay in modal logic
@@ Property / cites work: An essay in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Ein erweiterter Klassenkalkül
@@ Property / cites work: Ein erweiterter Klassenkalkül / rank @@
+Normal rank
@@ Property / cites work @@
+Q3246315
@@ Property / cites work: Q3246315 / rank @@
+Normal rank
@@ Property / cites work @@
+Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
+Normal rank
@@ Property / cites work @@
+Modal Operators, Equivalence Relations, and Projective Algebras
+Normal rank
@@ Property / cites work @@
+Embedding covers and the theory of Frobenius fields
+Normal rank
@@ Property / cites work @@
+Decidability and undecidability theorems for PAC-fields
+Normal rank
@@ Property / cites work @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Q5336301
@@ Property / cites work: Q5336301 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Gentzen Type Formalizations
@@ Property / cites work: On the Gentzen Type Formalizations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4117768
@@ Property / cites work: Q4117768 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5767299
@@ Property / cites work: Q5767299 / rank @@
+Normal rank
@@ Property / cites work @@
+Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
+Normal rank
@@ Property / cites work @@
+Relative strength of Malitz quantifiers
@@ Property / cites work: Relative strength of Malitz quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Compact extensions of L(Q) (part 1a)
@@ Property / cites work: Compact extensions of L(Q) (part 1a) / rank @@
+Normal rank
@@ Property / cites work @@
+On expandability of models of Peano arithmetic. II
+Normal rank
@@ Property / cites work @@
+Q4072797
@@ Property / cites work: Q4072797 / rank @@
+Normal rank