2005 Annual Meeting of the Association for Symbolic Logic (Q5479571): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2178/bsl/1140640947
+Normal rank
@@ Property / OpenAlex ID @@
+W2315787547
@@ Property / OpenAlex ID: W2315787547 / rank @@
+Normal rank
@@ Property / cites work @@
+On two problems of Erdos and Hechler: New methods in singular madness
+Normal rank
@@ Property / cites work @@
+The spectrum of partitions of a Boolean algebra
@@ Property / cites work: The spectrum of partitions of a Boolean algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Quasianalytic Denjoy-Carleman classes and o-minimality
+Normal rank
@@ Property / cites work @@
+Simple unstable theories
@@ Property / cites work: Simple unstable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Simple theories
@@ Property / cites work: Simple theories / rank @@
+Normal rank
@@ Property / cites work @@
+Forking in Simple Unstable Theories
@@ Property / cites work: Forking in Simple Unstable Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory of difference fields
@@ Property / cites work: Model theory of difference fields / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive modal logics. I
@@ Property / cites work: Constructive modal logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural implicational logics including the relevant logic E
+Normal rank
@@ Property / cites work @@
+Dimension of definable sets, algebraic boundedness and Henselian fields
+Normal rank
@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+Process complexity and effective random tests
@@ Property / cites work: Process complexity and effective random tests / rank @@
+Normal rank
@@ Property / cites work @@
+How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
+Normal rank
@@ Property / cites work @@
+Q4001745
@@ Property / cites work: Q4001745 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-verifying axiom systems, the incompleteness theorem and related reflection principles
+Normal rank
@@ Property / cites work @@
+Q3901465
@@ Property / cites work: Q3901465 / rank @@
+Normal rank
@@ Property / cites work @@
+Cuts, consistency statements and interpretations
@@ Property / cites work: Cuts, consistency statements and interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of plane hyperbolic incidence geometry is ????
+Normal rank
@@ Property / cites work @@
+Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
+Normal rank
@@ Property / cites work @@
+Epsilon substitution method for elementary analysis
+Normal rank
@@ Property / cites work @@
+The simplest axiom system for plane hyperbolic geometry
+Normal rank
@@ Property / cites work @@
+The Field of Reals with Multisummable Series and the Exponential Function
+Normal rank
@@ Property / cites work @@
+A definability result for compact complex spaces
@@ Property / cites work: A definability result for compact complex spaces / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5479571