2003-11-20 ¹₂. 387-398 1983 48 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml48.html#GurevichMS83 2003-11-20 Rabin's Uniformization Problem. 1105-1119 1983 48 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml48.html#GurevichS83a 2003-11-20 Random Models and the Godel Case of the Decision Problem. 1120-1124 1983 48 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml48.html#GurevichS83b 2003-11-20 Time Polynomial in Input or Output. 1083-1088 1989 54 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml54.html#GurevichS89a 2003-11-20 Constructive Assertions in an Extension of Classical Mathematics. 359-387 1982 47 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml47.html#Lifschitz82 2003-11-20 Theories d'Algebres de Boole Munies d'Ideaux Distingues. I. Theories Elementaires. 1027-1043 1987 52 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml52.html#Touraille87 2003-11-20 Théories d'Algébres de Boole Munies d'Idéaux Distingués, II. 1192-1212 1990 55 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml55.html#Touraille90 2003-11-20 Weakly Compact Cardinals: A Combinatorial Proof. 559-562 1979 44 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml44.html#Morgenstern79a 2003-11-20 On the Ordering of Certain Large Cardinals. 563-565 1979 44 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml44.html#Morgenstern79b 2004-11-22 Every Real Closed Field Has an Integer Part. 641-647 1993 58 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml58.html#MourguesR93 2003-11-20 _gammaµ Can Be Precipitous. 1161-1172 1997 62 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml62.html#Goldring97 2003-11-20 A System of Axiomatic Set Theory: Part IV. General Set Theory. 133-145 1942 7 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml7.html#Bernays42a 2003-11-20 Some Highly Saturated Models of Peano Arithmetic. 1265-1273 2002 67 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml67.html#Schmerl02a 2003-11-20 Large Resplendent Models Generated by Indiscernibles. 1382-1388 1989 54 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml54.html#Schmerl89a 2003-11-20 A Reflection Principle and its Applications to Nonstandard Models. 1137-1152 1995 60 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml60.html#Schmerl95a 2003-11-20 On Power-like Models for Hyperinaccessible Cardinals. 531-537 1972 37 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml37.html#SchmerlS72 2003-11-20 On the Role of Ramsey Quantifiers in First Order Arithmetic. 423-435 1982 47 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml47.html#SchmerlS82 2003-11-20 Negative-Existentially Complete Structures and Definability in Free Extensions. 95-108 1976 41 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml41.html#Weispfenning76 2003-11-20 The Model-Theoretic Significance of Complemented Existential Formulas. 843-850 1981 46 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml46.html#Weispfenning81 2003-11-20 A Supplement to Herbrand. 393-398 1966 31 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml31.html#DrebenD66 2003-11-20 Annual Meeting of the Association for Symbolic Logic. 636-645 1968 33 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml33.html#DrebenT68 2003-11-20 Algebraic Semantics for Modal Logics II. 191-218 1966 31 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml31.html#Lemmon66a 2003-11-20 On The Structures Inside Truth-Table Degrees. 731-770 2001 66 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml66.html#Stephan01 2003-11-20 Every Analytic Set is Ramsey. 60-64 1970 35 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml35.html#Silver70 2003-11-20 A Note on Nominalistic Syntax. 226-227 1949 14 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml14.html#Martin49a 2003-11-20 Twenty-Third Annual Meeting of the Association for Symbolic Logic. 456-461 1958 23 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml23.html#Martin58a 2005-04-14 On the Ultrafilter of Closed, Unbounded Sets. 503-506 1979 44 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml44.html#MartinM79 2003-11-20 Solution to the P-W Problem. 869-887 1982 47 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml47.html#MartinM82 2003-11-20 Scientific Discovery Based on Belief Revision. 1352-1370 1997 62 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml62.html#MartinO97 2003-11-20 Axiomatizable Theories with Few Axiomatizable Extensions. 205-209 1970 35 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml35.html#MartinP70 2003-11-20 The Order Types of Termination Orderings on Monadic Terms, Strings and Multisets. 624-635 1997 62 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml62.html#MartinS97 2003-11-20 Toward an Inscriptional Semantics. 191-203 1951 16 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml16.html#MartinW51 2003-11-20 Many-one Degrees Associated With Problems of Tag. 1-17 1973 38 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml38.html#Hughes73 2003-11-20 Single Premise Post Canonical Forms Defined Over One-Letter Alphabets. 489-495 1974 39 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml39.html#Hughes74 2003-11-20 Two Variable Implicational Calculi of Prescribed Many-One Degrees of Unsolvability. 39-44 1976 41 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml41.html#Hughes76 2003-11-20 Projective Model Completeness. 117-123 1974 39 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml39.html#Sacerdote74 2003-11-20 Describing Ordinals Using Functionals of Transfinite Type. 35-47 1972 37 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml37.html#Aczel72 2003-11-20 The Weak Square Property. 640-657 2001 66 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml66.html#Jackson01 2003-11-20 Admissible Suslin Cardinals in L(R). 260-275 1991 56 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml56.html#Jackson91 2003-11-20 Meeting of the Association for Symbolic Logic Los Angeles 1971. 581-592 1971 36 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml36.html#Kaplan71 2003-11-20 Kleene Index Sets and Functional m-Degrees. 829-840 1983 48 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml48.html#Mohrherr83 2003-11-20 Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis. 325-358 1966 31 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml31.html#HowardK66 2003-11-20 The Axiom of Choice for Well-Ordered Families and for Familes of Well-Orderable Sets. 1115-1117 1995 60 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml60.html#HowardR95 2003-11-20 A Simplification of the Bachmann Method for Generating Large Countable Ordinals. 171-185 1975 40 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml40.html#Bridge75 2003-11-20 New Axiomatizations of S3 and S4. 309-316 1953 18 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml18.html#Simons53 2003-11-20 An Abstraction Algorithm for Combinatory Logic. 222-224 1976 41 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml41.html#Abdali76 2003-11-20 Dominating and Unbounded Free Sets. 75-80 1999 64 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml64.html#SoleckiS99 2003-11-20 A Note on Two-Place Predicates and Fitting Sequences of Measure Functions. 121-122 1955 20 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml20.html#RubinS55 2003-11-20 On the Elementary Equivalence of Automorphism Groups of Boolean Algebras; Downward Skolem Lowenheim Theorems and Compactness of Related Quantifiers. 265-283 1980 45 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml45.html#RubinS80 2003-11-20 On the Expressibility Hierarchy of Magidor-Malitz Quantifiers. 542-557 1983 48 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml48.html#RubinS83 2003-11-20 The Model Theory of Ordered Differential Fields. 82-91 1978 43 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml43.html#Singer78 2003-11-20 Définissabilité dans les Corps de Fonctions p-Adiques. 783-785 1991 56 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml56.html#BelairD91 2003-11-20 Indécidabilité des Corps de Courbe Réelle. 87-91 1994 59 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml59.html#BelairD94 2003-11-20 Direct Product Decomposition of Theories of Modules. 77-88 1979 44 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml44.html#Garavaglia79 2003-11-20 Decomposition of Totally Transcendental Modules. 155-164 1980 45 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml45.html#Garavaglia80 2003-11-20 Widerspruchsfreier Aufbau Der Logik I: Typenfreies System Ohne Tertium Non Datur. 33-57 1950 15 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml15.html#Ackermann50 2003-11-20 Begrundung Einer Strengen Implikation. 113-128 1956 21 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml21.html#Ackermann56 2003-11-20 Completeness in the Theory of Properties, Relations, and Propositions. 415-426 1983 48 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml48.html#Bealer83 2003-11-20 The proofs of alpha -> alpha in P-W. 195-211 1996 61 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml61.html#Hirokawa96 2003-11-20 Nonrecursive Tilings of the Plane. II. 286-294 1974 39 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml39.html#Myers74 2003-11-20 Modal Sequents and Definability. 756-762 1987 52 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml52.html#Kapron87 2003-11-20 The Strong Homogeneity Conjecture. 375-377 1970 35 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml35.html#Feiner70a 2003-11-20 Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications. 375-384 1972 37 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml37.html#Gabbay72a 2003-11-20 Decidability of Some Intuitionistic Predicate Theories. 579-587 1972 37 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml37.html#Gabbay72b 2003-11-20 A New Version of Beth Semantics for Intuitionistic Logic. 306-308 1977 42 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml42.html#Gabbay77a 2003-11-20 A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. 67-78 1974 39 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml39.html#GabbayJ74 2003-11-20 Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics. 1319-1365 1992 57 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml57.html#GabbayQ92 2003-11-20 Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables. 800-823 1993 58 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml58.html#GabbayS93 2003-11-20 Banach Games. 343-375 1984 49 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml49.html#Freiling84 2003-11-20 Axioms of Symmetry: Throwing Darts at the Real Number Line. 190-200 1986 51 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml51.html#Freiling86 2003-11-20 On the Consistency of Self-Referential Systems. 425-436 1987 52 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml52.html#Sobrinho87 2003-11-20 Simulating polyadic modal logics by monadic ones. 419-462 2003 68 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml68.html#GoguadzePV03 2003-11-20 Monadic Binary Relations and the Monad Systems at Near-Standard Points. 689-697 1987 52 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml52.html#Vakil87 2003-11-20 Topological Elementary Equivalence of Closed Semi-Algebraic Sets in The Real Plane. 1530-1555 2000 65 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml65.html#KuijpersPB00 2003-11-20 Ordinal Numbers and the Hilbert Basis Theorem. 961-974 1988 53 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml53.html#Simpson88a 2003-11-20 Some Trivial Considerations. 624-631 1991 56 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml56.html#Goode91 2003-11-20 Accessible Telephone Directories. 92-105 1994 59 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml59.html#Goode94 2003-11-20 High and Low Kleene Degrees of Coanalytic Sets. 356-368 1983 48 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml48.html#SimpsonW83 2003-11-20 An Interpolation Theorem in Many-Valued Logic. 448-452 1986 51 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml51.html#HanazawaT86 2003-11-20 Larger Cardinals in Cichon's Diagram. 795-810 1991 56 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml56.html#Brendle91 2003-11-20 Amoeba-Absoluteness and Projective Measurability. 1284-1290 1993 58 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml58.html#Brendle93 2003-11-20 An Axiomatics for Nonstandard Set Theory, Based on von Neumann-Bernays-Gödel Theory. 1321-1341 2001 66 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml66.html#AndreevG01 2003-11-20 Fibring: Completeness Preservation. 414-439 2001 66 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml66.html#ZanardoSS01 2003-11-20 Meeting of the Association for Symbolic Logic: Clermont-Ferrand, France, 1975. 113-139 1977 42 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml42.html#Guillaume77 2003-11-20 Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. 269-300 1998 63 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml63.html#Polacik98 2003-11-20 On Diophantine Definability and Decidability in Some Rings of Algebraic Functions of Characteristic 0. 759-786 2002 67 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml67.html#Shlapentokh02 2003-11-20 Existential definability with bounds on archimedean valuations. 860-878 2003 68 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml68.html#Shlapentokh03 2003-11-20 Diophantine Relations Between Rings of S-Integers of Fields of Algebraic Functions in One Variable Over Constant Fields of Positive Characteristic. 158-192 1993 58 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml58.html#Shlapentokh93 2003-11-20 Diophantine Equivalence and Countable Rings. 1068-1095 1994 59 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml59.html#Shlapentokh94 2003-11-20 Special Selection in Logic in Computer Science. 608 1997 62 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml62.html#Vardi97 2003-11-20 More on Entangled Orders. 1823-1832 2000 65 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml65.html#ShafirS00 2003-11-20 On the Number of Generators of Cylindric Algebras. 865-873 1985 50 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml50.html#AndrekaN85 2003-11-20 Annual Meeting of the Association for Symbolic Logic: Philadelphia 1981. 898-910 1983 48 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml48.html#KochenLP83 2003-11-20 Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985. 1093-1103 1986 51 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml51.html#Carnielli86 2003-11-20 Systematization of Finite Many-Valued Logics Through the Method of Tableaux. 473-493 1987 52 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml52.html#Carnielli87 2003-11-20 On Size vs. Efficiency for Programs Admitting Speed-Ups. 21-27 1971 36 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml36.html#HelmY71 2003-11-20 Effective Bounds from Ineffective Proofs in Analysis: An Application of Functional Interpretation and Majorization. 1239-1273 1992 57 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml57.html#Kohlenbach92 2003-11-20 Relative Constructivity. 1218-1238 1998 63 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml63.html#Kohlenbach98 2003-11-20 On The No-Counterexample Interpretation. 1491-1511 1999 64 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml64.html#Kohlenbach99 2003-11-20 Lawvere's Basic Theory of the Category of Categories. 14-18 1975 40 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml40.html#BlancP75 2003-11-20 Believing the Axioms II. 736-764 1988 53 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml53.html#Maddy88a 2004-08-19 ₃is Undecidable. 311-316 1980 45 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml45.html#Maddux80 2003-11-20 Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. 951-974 1989 54 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml54.html#Maddux89 2003-11-20 Relation Algebras of Every Dimension. 1213-1229 1992 57 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml57.html#Maddux92 2003-11-20 Undecidable Semiassociative Relation Algebras. 398-418 1994 59 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml59.html#Maddux94 2003-11-20 Some Consequences of an Infinite-Exponent Partition Relation. 523-526 1977 42 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml42.html#Henle77 2003-11-20 Spector Forcing. 542-554 1984 49 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml49.html#Henle84 2003-11-20 Concerning Ultrafilters on Ultrapowers. 149-151 1987 52 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml52.html#Henle87 2003-11-20 Partition Properties and Prikry Forcing on Simple Spaces. 938-947 1990 55 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml55.html#Henle90 2003-11-20 The Consistency of One Fixed Omega. 172-177 1995 60 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml60.html#Henle95 2003-11-20 Disquotational Truth and Analyticity. 1959-1973 2001 66 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml66.html#Halbach01 2003-11-20 Algebraische und Logistische Untersuchungen Uber Freie Verbande. 81-106 1951 16 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml16.html#Lorenzen51 2003-11-20 Logical Reflection and Formalism. 241-249 1958 23 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml23.html#Lorenzen58 2003-11-20 Descriptive Set Theory Over Hyperfinite Sets. 1167-1180 1989 54 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml54.html#KeislerKML89 2003-11-20 On Sets forall-Definable from Pfaffian Sets. 688-697 1992 57 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml57.html#Bianconi92 2003-11-20 Nondefiniability Results for Expansions of the Field of Real Numbers by the Exponential Function and by the Restricted Sine Function. 1173-1178 1997 62 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml62.html#Bianconi97 2003-11-20 ^p₂-Complete. 984-990 1999 64 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml64.html#Voronkov99 2003-11-20 Expressive Power in First Order Topology. 478-487 1984 49 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml49.html#Bankston84 2003-11-20 Reduced Coproducts of Compact Hausdorff Spaces. 404-424 1987 52 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml52.html#Bankston87 2003-11-20 Taxonomies of Model-Theoretically Defined Topological Properties. 589-603 1990 55 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml55.html#Bankston90 2003-11-20 Corrigendum to ``Taxonomies of Model-Theoretically Defined Topological Properties''. 425-426 1991 56 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml56.html#Bankston91 2003-11-20 A Hierarchy of Maps Between Compacta. 1628-1644 1999 64 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml64.html#Bankston99 2003-11-20 Recursively Enumerable Sets Modulo Iterated Jumps and Extensions of Arslanov's Completeness Criterion. 1288-1323 1989 54 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml54.html#JockuschLSS89 2003-11-20 Rings Which Admit Elimination of Quantifiers. 56-58 1981 46 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml46.html#Berline81 2003-11-20 Automorphism groups of trivial strongly minimal structures. 644-668 2003 68 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml68.html#Blossier03 2003-11-20 On The Equational Theory of Representable Polyadic Equality Algebras. 1143-1167 2000 65 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml65.html#NemetiS00 2003-11-20 ₁. 822-842 1981 46 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml46.html#Becker81 2003-11-20 Determinacy of Banach Games. 110-122 1985 50 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml50.html#Becker85 2003-11-20 A Characterization of Jump Operators. 708-728 1988 53 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml53.html#Becker88 2003-11-20 The Topological Vaught's Conjecture and Minimal Counterexamples. 757-784 1994 59 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml59.html#Becker94 2003-11-20 Equational Bases of Boolean Algebras. 115-124 1964 29 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml29.html#Sioson64 2003-11-20 Theories without Countable Models. 562-568 1972 37 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml37.html#Blass72a 2003-11-20 On the Inadequacy of Inner Models. 569-571 1972 37 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml37.html#Blass72b 2003-11-20 Ramsey's Theorem in the Hierarchy of Choice Principles. 387-390 1977 42 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml42.html#Blass77a 2003-11-20 The Model of Set Theory Generated by Countably Many Generic Reals. 732-752 1981 46 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml46.html#Blass81a 2003-11-20 ¹₁Sets of Reals. 649-654 1974 39 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml39.html#BlassC74 2003-11-20 The Logic of Choice. 1264-1310 2000 65 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml65.html#BlassG00 2003-11-20 Strong extension axioms and Shelah's zero-one law for choiceless polynomial time. 65-131 2003 68 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml68.html#BlassG03 2003-11-20 Fine Hierarchies and Boolean Terms. 289-317 1995 60 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml60.html#Selivanov95 2003-11-20 Consistency Results About Filters and the Number of Inequivalent Growth Types. 50-56 1989 54 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml54.html#BlassL89 2003-11-20 On The Confinality of Ultrapowers. 727-736 1999 64 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml64.html#BlassM99 2003-11-20 Small Decidable Sheaves. 726-731 1986 51 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml51.html#BlassS86 2003-11-20 Separation and Weak König's Lemma. 268-278 1999 64 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml64.html#HumphreysS99 2003-11-20 alpha-Degrees of Maximal a-R.E. Sets. 456-474 1978 43 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml43.html#Leggett78 2003-11-20 Building Iteration Trees. 1369-1384 1991 56 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml56.html#Andretta91 2003-11-20 The Deduction Theorem for Quantum Logic - Some Negative Results. 615-625 1990 55 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml55.html#Malinowski90 2003-11-20 Amoeba Reals. 1168-1185 1995 60 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml60.html#JudahR95a 2003-11-20 Equivalence Between Semantics for Intuitionism. I. 773-780 1981 46 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml46.html#Lopez-Escobar81a 2003-11-20 General Models and Extensionality. 395-397 1972 37 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml37.html#Andrews72a 2003-11-20 Meeting of the Association for Symbolic Logic: Chicago, 1977. 614-619 1978 43 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml43.html#JockuschSTT78 2003-11-20 ₂-Bounding. 450-467 1996 61 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml61.html#GroszekMS96 2003-11-20 Foundations of Mathematics for the Working Mathematician. 1-8 1949 14 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml14.html#Bourbaki49 2003-11-20 ¹₁Predicates on Countable and Cofinality omega Transitive Sets. 161-173 1977 42 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml42.html#Grant77 2003-11-20 Quelques Modestes Remarques A Propos D'Une Conséquence Inattendue D'Un Résultat Surprenant de Monsieur Frank Olaf Wagner. 1637-1646 2001 66 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml66.html#Poizat01 2003-11-20 Sous-Groupes Definissables d'Un Groupe Stable. 137-146 1981 46 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml46.html#Poizat81 2003-11-20 _n. 641-658 1982 47 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml47.html#Poizat82 2003-11-20 Post-Scriptum À "Théories Instables". 60-62 1983 48 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml48.html#Poizat83 2003-11-20 Deux Remarques a Propos de la Propriete de Recouvrement Fini. 803-807 1984 49 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml49.html#Poizat84 2003-11-20 L = N L? 22-32 1986 51 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml51.html#Poizat86 2003-11-20 MM. Borel, Tits, Zil'ber et le General Nonsense. 124-131 1988 53 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml53.html#Poizat88 2003-11-20 Generix Strikes Again. 847-857 1989 54 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml54.html#Poizat89 2003-11-20 Le Carre De L'Egalite. 1339-1355 1999 64 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml64.html#Poizat99 2003-11-20 A Partial Functions Version of Church's Simple Theory of Types. 1269-1291 1990 55 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml55.html#Farmer90 2003-11-20 ₃¹-Stability. 941-954 1993 58 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml58.html#Ben-ArieJ93 2003-11-20 Discontinuities of Provably Correct Operators on the Provably Recursive Real Numbers. 913-920 1983 48 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml48.html#CollinsY83 2003-11-20 An Improved Prenex Normal Form. 317-326 1962 27 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml27.html#ChangK62 2003-11-20 On Closure Under Direct Product. 149-154 1958 23 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml23.html#ChangM58 2003-11-20 ₁Compactness for Next Admissible Sets. 105-116 1974 39 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml39.html#Green74 2003-11-20 kappa-Suslin Logic. 659-666 1978 43 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml43.html#Green78 2003-11-20 Some Model Theory for Game Logics. 147-152 1979 44 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml44.html#Green79 2003-11-20 Some Elementary Results in Intuitionistic Model Theory. 745-767 1996 61 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml61.html#VeldmanW96 2003-11-20 Quasi-Modal Equivalence of Canonical Structures. 497-508 2001 66 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml66.html#Goldblatt01 2003-11-20 First-Order Definability in Modal Logic. 35-40 1975 40 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml40.html#Goldblatt75 2003-11-20 Orthomodularity is not Elementary. 401-404 1984 49 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml49.html#Goldblatt84 2003-11-20 On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic. 412-422 1985 50 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml50.html#Goldblatt85 2003-11-20 The McKinsey Axiom Is Not Canonical. 554-562 1991 56 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml56.html#Goldblatt91 2003-11-20 Natural Models of Ackermann's Set Theory. 481-488 1969 34 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml34.html#Grewe69 2003-11-20 Logics Which Capture Complexity Classes Over The Reals. 363-390 1999 64 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml64.html#CuckerM99 2003-11-20 One More Aspect of Forcing and Omitting Types. 73-80 1976 41 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml41.html#Adamowicz76 2003-11-20 On Finite Lattices of Degrees of Constructibility. 349-371 1977 42 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml42.html#Adamowicz77 2003-11-20 Open Induction and the True Theory of Rationals. 793-801 1987 52 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml52.html#Adamowicz87 2003-11-20 On Maximal Theories. 885-890 1991 56 J. Symb. Log. 3 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml56.html#Adamowicz91 2003-11-20 A Sharp Version of the Bounded Matijasevich Conjecture and the End-Extension Problem. 597-616 1992 57 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml57.html#Adamowicz92 2003-11-20 ₂Enumeration Degrees. 195-212 1991 56 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml56.html#Ahmad91 2003-11-20 On Expandability of Models of Peano Arithmetic to Models of the Alternative Set Theory. 452-460 1992 57 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml57.html#Tzouvaras92 2003-11-20 A System of Axiomatic Set Theory - Part I. 65-77 1937 2 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml2.html#Bernays37 2003-11-20 A System of Axiomatic Set Theory - Part II. 1-17 1941 6 J. Symb. Log. 1 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml6.html#Bernays41 2003-11-20 A System of Axiomatic Set Theory: Part III. Infinity and Enumerability. Analysis. 65-89 1942 7 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml7.html#Bernays42 2003-11-20 A System of Axiomatic Set Theory: Part V. General Set Theory. 89-106 1943 8 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml8.html#Bernays43 2003-11-20 A System of Axiomatic Set Theory--Part VI. 65-79 1948 13 J. Symb. Log. 2 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml13.html#Bernays48 2003-11-20 Problems. 350 1953 18 J. Symb. Log. 4 http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml18.html#Ber