Pages that link to "Q6295979"
Jump to navigation
Jump to search
The following pages link to Journal of Symbolic Logic (Q6295979):
Displayed 50 items.
- (Q3498724) (← links)
- Ross Alf. Imperatives and logic. Theoria, vol. 7 (1941), pp. 53–71. (Q29011658) (← links)
- The determinacy of Blackwell games (Q29026904) (← links)
- On the ultrafilters and ultrapowers of strong partition cardinals (Q29029266) (← links)
- What is the Conference Board of the Mathematical Sciences? (Q29036061) (← links)
- On the calculus of relations (Q29037322) (← links)
- Consistency of Suslin's hypothesis, a nonspecial Aronszajn tree, and GCH (Q29037456) (← links)
- On the interpretation of intuitionistic number theory (Q29038352) (← links)
- Blake Archie. Canonical expressions in Boolean algebra. Dissertation Chicago 1937. Lithographed. The University of Chicago Libraries, Chicago 1938, ii + 60 pp. (Q29302389) (← links)
- Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication (Q29392709) (← links)
- A constructive interpretation of the full set theory (Q29397732) (← links)
- Formalisations of further ℵ0-valued Łukasiewicz propositional calculi (Q29398656) (← links)
- On strongly minimal sets (Q29398680) (← links)
- Moisil Gr. C.. Recherches sur l'algèbre de la logique. Annales scientifiques de l'Université de Jassy, vol. 22 (1936), pp. 1–118. (Q29541579) (← links)
- Probabilities on finite models (Q29544242) (← links)
- On notation for ordinal numbers (Q29544450) (← links)
- PFA implies AD L(ℝ) (Q30040097) (← links)
- Analytic determinacy and 0# (Q30040174) (← links)
- Inconsistent models of arithmetic Part II: the general case (Q30054362) (← links)
- Computability and λ-definability (Q54196750) (← links)
- Believing the Axioms. I (Q55868186) (← links)
- Axioms of symmetry: Throwing darts at the real number line (Q55872123) (← links)
- Believing the axioms. II (Q55872306) (← links)
- Completeness in the theory of types (Q55881115) (← links)
- A system of axiomatic set theory—Part II (Q55881280) (← links)
- Transfinite ordinals in recursive number theory (Q55881331) (← links)
- A note on the Entscheidungsproblem (Q55886413) (← links)
- Finite combinatory processes—formulation (Q55886419) (← links)
- An informal exposition of proofs of Gödel's theorems and Church's theorem (Q55886422) (← links)
- A continuous movement version of the Banach–Tarski paradox: A solution to de Groot's Problem (Q55893572) (← links)
- Pointwise definable models of set theory (Q55896321) (← links)
- Ánovskaá S. A.. Osnovaniá matématiki i matématičéskaá logika (Foundations of mathematics and mathematical logic). Matématika v SSSR za tridcat′ lét 1917–1947 (Mathematics in the USSR for the thirty years 1917–1947), OGIZ, Moscow and L (Q55898924) (← links)
- Self-verifying axiom systems, the incompleteness theorem and related reflection principles (Q55899522) (← links)
- Alfred Tarski's work in model theory (Q55921789) (← links)
- A definable nonstandard model of the reals (Q55933464) (← links)
- A System of Axiomatic Set Theory--Part I (Q55933844) (← links)
- Limiting recursion (Q55968651) (← links)
- Trial and error predicates and the solution to a problem of Mostowski (Q55968652) (← links)
- Ultraproducts which are not saturated (Q55969528) (← links)
- Geometry of forking in simple theories (Q55969529) (← links)
- Kueker's conjecture for stable theories (Q55969530) (← links)
- Bibliography of Alfred Tarski (Q55970192) (← links)
- A formulation of the simple theory of types (Q56001156) (← links)
- On confirmation (Q56001176) (← links)
- Equivalents of the Axiom of Choice, II (Q56004797) (← links)
- Rubin Jean E.. Mathematical logic: applications and theory. The Saunders series. Saunders College Publishing, Philadelphia etc. 1990, xvi + 417 pp (Q56004798) (← links)
- Tarski and geometry (Q56005494) (← links)
- Toward useful type-free theories. I (Q56019946) (← links)
- A set of axioms for logic (Q56031500) (← links)
- On the consistency of an impredicative subsystem of Quine's NF (Q56031501) (← links)