scientific article; zbMATH DE number 3286895
From MaRDI portal
Publication:5570212
zbMath0179.31402MaRDI QIDQ5570212
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (only showing first 100 items - show all)
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
This page was built for publication:
