Publication:5570212
From MaRDI portal
zbMath0179.31402MaRDI QIDQ5570212
Publication date: 1969
Related Items
The absolute Galois group of a pseudo real closed field with finitely many orders, Default consequence relations from topology and measure theory, Ultraproduits des anneaux semi-sériels. (Ultraproducts of semi-serial rings), Strongly regular rings and rational identities of division rings, The use of elementary substructures in combinatorics, On CT and CSA groups and related ideas, Lexicographic probability, conditional probability, and nonstandard probability, Judgment aggregators and Boolean algebra homomorphisms, On extending closure systems to matroids, Étale Galois covers of affine smooth curves. The geometric case of a conjecture of Shafarevich. On Abhyankar's conjecture, Predicate transformers as power operations, Topology and duality in modal logic, Maximality properties of some subsemigroups of Baer-Levi semigroups, Orderable groups, elementary theory, and the Kaplansky conjecture, Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics, Properties of classes of \(\alpha\)-standard elements, The equational theory of parameterized specifications, Ultrafilter translations. I: \((\lambda, \lambda)\)-compactness of logics with a cardinality quantifier, Extending valuation rings via ultrafilters, Frobenius amplitude, ultraproducts, and vanishing on singular spaces, Nonstandard methods in combinatorics and theoretical computer science, Tarski's definition and truth-makers, Algorithmic uses of the Feferman-Vaught theorem, Normative positions within an algebraic approach to normative systems, Compactness theorems for finitely-many-valued sentential logics, Differential algebras with dense singularities on manifolds, A generalisation of a theorem of de Bruijn and Erdős on the chromatic numbers of infinite graphs, Chromatic homotopy theory is asymptotically algebraic, The model completion of the theory of commutative regular rings, Applications of model theory to representations of finite-dimensional algebras, A locus problem involving the three-dimensional city-block metric, Impossibility results for infinite-electorate abstract aggregation rules, On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra, Ten problems in Gödel logic, Observational ultraproducts of polynomial coalgebras., Logical foundation of quantum mechanics, Bounds for the representation of quadratic forms., What's right with a syntactic approach to theories and models?, R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs, Nonclassical probability and convex hulls, Approximation properties and existential completeness for ring morphisms, The model-theoretic approach to aggregation: impossibility results for finite and infinite electorates, Grishin algebras and cover systems for classical bilinear logic, Topological proofs of some Rasiowa-Sikorski lemmas, On JND representations of semiorders, Universal homogeneous event structures and domains, On models for propositional dynamic logic, A modal logic for subjective default reasoning, Algebraization of quantifier logics, an introductory overview, On small abstract quotients of Lie groups and locally compact groups, Distanced graphs, Beyond Erdős-Kunen-Mauldin: shift-compactness properties and singular sets, Space-time foam differential algebras of generalized functions and a global Cauchy-Kovalevskaia theorem, Automorphism groups of ultrafilters, Rational choice and polynomial measurement models, Characterizing Mal'cev conditions, Minimal conditions for additive conjoint measurement and qualitative probability, Primality and model-completions, The elementary theory of algebraic fields of finite corank, Ultrafilters, ultrapowers and finiteness in a topos, Compactness for RQ, Ultraproducts and elementary types of some groups related to infinite symmetric groups, Simple regular rings with a unique rank function, Algebraically closed fields with distinguished subfields, The elementary theory of \(\omega\)-free \(Ax\) fields, Representation of regular rings of finite index, Limit groups as limits of free groups., Die elementare Formulierbarkeit von Dimension und Grad algebraischer Mannigfaltigkeiten, Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality, Elementary properties of V-free products of groups, On the axiomatizability of certain classes of modules, On some classes of interpretations, Some model-theoretic aspects of torsion theories, Model-companions and definability in existentially complete structures, Canonical extensions and ultraproducts of polarities, Ultraproducts and aggregation, Elementar äquivalente Körper und ihre absolute Galoisgruppe, Modellvollständigkeit der Mittelpunktsgeometrie und der Theorie der Vektorgruppen, The size of epimorphic extensions, Classifying \(\aleph_ 0\)-categorical theories, Structure and transcendence degree of \(\eta_{\alpha +1}\)-fields and ultrapowers of fields, Using forcing to prove completeness of resolution and paramodulation, Severe withdrawal (and recovery), Prime ideals in regular self-injective rings. II, Key notions of Tarski's methodology of deductive systems, What is classical mereology?, Swinging types=functions+relations+transition systems, Nonstandard models for arithmetic and analysis, Representations and algorithms for cognitive learning, The \(L_ 1\) structure of weak \(L_ 1\), Rings of finite representation type and modules of finite Morley rank, Ultraproducts of PM-rings and MP-rings, Majorizing-injectivity in Abelian lattice-ordered groups, Positive results in abstract model theory: a theory of compact logics, On some classes of Hilbertian fields, Gromov's theorem on groups of polynomial growth and elementary logic, Linear measurement models -- axiomatizations and axiomatizability, Note on the non-projective Krier B-oval, Contextual rewriting as a sound and complete proof method for conditional LOG-specifications, Tensor functors and finite representation type, Uniform guarded fragments, C. I. Lewis's intensional semantics, Stone Duality Type Theorems for MV-Algebras with Internal State, Extensions of Algebraic Systems, SHEAF COHOMOLOGY IN o-MINIMAL STRUCTURES, LIMITS OF METABELIAN GROUPS, Sets Definable Over Finite Fields: Their Zeta-Functions, Social choice correspondences with infinitely many agents: serial dictatorship, Pseudofinite groups as fixed points in simple groups of finite Morley rank, Unnamed Item, Unnamed Item, The Härtig quantifier: a survey, Orthomodularity is not elementary, Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention, Varieties of complex algebras, Ultrafilter Limits and Finitely Additive Probability, P versus NP and computability theoretic constructions in complexity theory over algebraic structures, On the Existence of Nonregular Ultrafilters and the Cardinality of Ultrapowers, Model theory and metric convergence II: Averages of unitary polynomial actions, On the semantics of the Henkin quantifier, First-order frames for orthomodular quantum logic, Knowledge means ‘all’, belief means ‘most’, Unnamed Item, ULTRA-UNIVERSAL MODELS, Set theory and the analyst, On models with large automorphism groups, Preservation in many-valued truth institutions, Nonstandard topology and extensions of monad systems to infinite points, Generalized quantifiers and well orderings, Polyhedral compactifications. I, \(\Lambda\)-buildings and base change functors., Homomorphisms from Functional Equations in Probability, STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES, A new proof of a theorem of Shelah, Continuity and elementary logic, On the utility of Robinson-Amitsur ultrafilters, An infinitary propositional probability logic, On Turner’s theorem and first-order theory, First-order definability in modal logic, Restricted ideals in rings of analytic functions, Coarse equivalences of Euclidean buildings. (With an appendix by Jeroen Schillewaert and Koen Struyve.), No nonlocal box is universal, Multivalued logic to transform potential into actual objects, A note on the conjugacy problem for finite Sylow subgroups of linear pseudofinite groups, Isoperimetric inequalities and the Friedlander-Milnor conjecture, A type-open minimal model, An ultrapower analogue of the Kronecker function ring, Quasi-axiomatic classes, Monads of Infinite Points and Finite Product Spaces, Elementary properties of the Boolean hull and reduced quotient functors, Unnamed Item, Automorphisms of the lattice of $\Pi _1^0$ classes; perfect thin classes and anc degrees, Saturation and omitting types, Graphs defined on groups, AFFINE ACTIONS ON NON-ARCHIMEDEAN TREES, A Calculus of Terms for Coalgebras of Polynomial Functors, Facts, arguments, annotations and reasoning, Three-valued logic, indeterminacy and quantum mechanics, More on regular and decomposable ultrafilters in ZFC, Discriminating groups, Generalizing empirical adequacy. I: Multiplicity and approximation, There are just four second-order quantifiers, Existentially closed structures, Proofs of the Compactness Theorem, An application of a certain argument about isomorphisms of $\alpha $-saturated structures, Adequate Ultrafilters of Special Boolean Algebras, Unnamed Item, The theory of differentially closed fields in logics with cardinal quantifiers, -Products of injective, flat, and projective modules, A note on some ordered ring, Periodic Groups Covered by Transitive Subgroups of Finitary Permutations or by Irreducible Subgroups of Finitary Transformations, An analogue of the pierce sheaf for non-commutative rings, Sub-arithmetical ultrapowers: A survey, On k-homogeneous posets and graphs, Theories with models of prescribed cardinalities, Ideal models and some not so ideal problems in the model theory of L(Q), Limits of dihedral groups., In Memoriam: Jerzy łoś 1920–1998, On relational selections for complete theories, Double-exponential inseparability of Robinson subsystem Q+, DEFINABLY SIMPLE STABLE GROUPS WITH FINITARY GROUPS OF AUTOMORPHISMS, Unnamed Item, Modal operators and functional completeness, II, Notions of Discrimination, Embedding problems for modules and rings with application to model- companions, Every two elementarily equivalent models have isomorphic ultrapowers, Omitting types in fuzzy logic with evaluated syntax, A selection lemma, Invariant means via the ultrapower, Proprieta metamatematiche di alcune classi di algebre, Varieties with Cofinal Sets: Examples and Amalgamation, Some examples of ultraproducts, \(\aleph_0\)-categoricity of groups, F-planar graphs, A strict implication calculus for compact Hausdorff spaces, Implications of large-cardinal principles in homotopical localization, On -pure-injective modules, Encoding First Order Proofs in SMT, Universal homogeneous causal sets, Saturated models of incomplete theories, Unnamed Item
