scientific article; zbMATH DE number 3027246
From MaRDI portal
zbMath0017.15601MaRDI QIDQ5767299
No author found.
Publication date: 1937
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Universal recursion theoretic properties of r.e. preordered structures, 1997–98 Annual Meeting of the Association for Symbolic Logic, Leibnizian models of set theory, An inside view of EXP; or, The closed fragment of the provability logic of IΔ0 + Ω1 with a prepositional constant for EXP, IX Latin American Symposium on Mathematical Logic, Bahía Blanca, 1992, Alfred Tarski's work in model theory, Why Solovay real produces Cohen real, A Spector-Gandy theorem for cPCd() classes, Products of two-sorted structures, The classical and the ω-complete arithmetic, Generalized quantification as substructural logic, On topological spaces equivalent to ordinals, The dense linear ordering principle, One hundred and two problems in mathematical logic, Models with the ω-property, Partitioning large vector spaces, An Elementary Approach to the Fine Structure of L, Borel's conjecture in topological groups, Game-theoretic versions of strong law of large numbers for unbounded variables, Turing computable embeddings, The combinatorial principle ⋄#, Almost disjoint sets and Martin's axiom, Combinatorial properties of filters and open covers for sets of real numbers, Geometry of *-Finite Types, Trees, On Scott and Karp trees of uncountable models, Two consistency results on set mappings, Stability theory and Algebra, Chains and antichains in, 2007-2008 Winter Meeting of the Association for Symbolic Logic, The Role of True Finiteness in the Admissible Recursively Enumerable Degrees, Some results on measure independent Gödel speed-ups, On P-points over a measurable cardinal, Calculating self-referential statements: Guaspari sentences of the first kind, Set theory with a filter quantifier, On the complexity of models of arithmetic, European Summer Meeting of the Association for Symbolic Logic, The metamathematics of model theory: Discovering language in action, The equivalence of a generalized Martin's axiom to a combinatorial principle, Some remarks on initial segments in models of Peano arithmetic
