scientific article; zbMATH DE number 3627183

MaRDI QIDQ4189277zbMATH OpenFDO

Authors Azriel Levy

Publication date 1979

Cited in

(only showing first 100 items - show all)

From Hilbert's program to a logic tool box
On three arguments against categorical structuralism
Complete existentially closed locally finite groups
The products of conjugacy classes in some infinite simple groups
Measurable products of modules
Relations of imbeddability and epimorphism on congruence-distributive varieties
A note on Dilworth's theorem in the infinite case
Infinite Goldie dimensions
Cardinality logics. I: Inclusions between languages based on ``exactly
A notation for lambda terms. A generalization of environments
Eine axiomatische Mengenlehre mit größtem Universum und Hyperklassen
HSP K is equational class, without the axiom of choice
The extended calculus of constructions (ECC) with inductive types
Products of spaces of ordinal numbers
Dedekind multisets and function shells
Complete sets of transformations for general E-unification
Investigations on measure-one identification of classes of languages
Fuzzy shadows
An application of infinitary universal algebra to set theory
Self-adjunctions and matrices.
Complete positive group presentations.
Finite mathematics.
Separation axioms in L-fuzzy topological spaces. I: T₀ and T₁
Real-valued multisets and fuzzy sets
Three-variable statements of set-pairing
Compatible connectedness in graphs and topological spaces
Counting extensional acyclic digraphs
Classification theory through stationary logic
\((1+1+2)\)-generated equivalence lattices
Notes on Leitgeb's Ruitenburg
Towards a theory of singular thought about abstract mathematical objects
Generalizing Montague's theorem on recursive definitions
Algorithms for Garside calculus
Set graphs. II. Complexity of set graph recognition and similar problems
Representation of Artinian partially ordered sets over semiartinian von Neuman regular algebras.
Classical and effective descriptive complexities of \(\omega \)-powers
A century of Sierpiński-Zygmund functions
Cofinally invariant sequences and revision
Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets
Ordinals in Frobenius monads
Pseudocompact refinements of compact ring topologies
Levy and set theory
A higher-order calculus and theory abstraction
Extensionality and logicality
On closed subgroups of precompact groups
All intermediate logics with extra axioms in one variable except eight are not strongly -complete.
Number systems with simplicity hiearchies: A generalization of Conway's theory of surreal numbers
Approximating Beppo Levi's \textit{principio di approssimazione}
Early history of the generalized continuum hypothesis: 1878--1938
ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS
Block combinatorics
On fixed points through a generalized iteration method with applications to differential and integral equations involving discontinuities
The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability
Omitting types for algebraizable extensions of first order logic
Descriptive Complexity of Function Spaces
Properties of subtle cardinals
The consistency and independence of Suslin's hypothesis
Ergodic Undefinability in Set Theory and Recursion Theory
Intermediate predicate logics determined by ordinals
Where do sets come from?
Expressing infinity without foundation
scientific article; zbMATH DE number 65164 (Why is no real title available?)
Nonexistence of universal orders in many cardinals
Existentially closed locally FC-groups
Ideals in the multiplication algebra of a non-associative K-algebra
scientific article; zbMATH DE number 554078 (Why is no real title available?)
On fixed points of multifunctions in ordered spaces
A Remark on Ascending Chain Conditions, the Countable Axiom of Choice and the Principle of Dependent Choices
On the predecessor relation in abstract algebras
Looking for more or less hidden vector spaces: A strategy for investigating injective cogenerators
Souslin trees which are hard to specialise
On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory
Applicable mathematics in a minimal computational theory of sets
On certain non-constructive properties of infinite-dimensional vector spaces.
The Logically Simplest Form of the Infinity Axiom
A connected metric space without an equally spaced chain of points
Inverse limits of algebras as retracts of their direct products
Higher order phantom maps
Construction of 𝑡-structures and equivalences of derived categories
Models of Second-Order Zermelo Set Theory
ALMOST DISJOINT AND MAD FAMILIES IN VECTOR SPACES AND CHOICE PRINCIPLES
Set theory with a proper class of indiscernibles
FACTORIALS OF INFINITE CARDINALS IN ZF PART I: ZF RESULTS
Generalizations of Cantor's theorem in \(\mathsf{ZF}\)
On infinite‐dimensional Banach spaces and weak forms of the axiom of choice
Uncountable structures are not classifiable up to bi-embeddability
Formalizing Scientifically Applicable Mathematics in a Definitional Framework
Formal representations of dependence and groundedness
Satisfaction relations for proper classes: applications in logic and set theory
Permutable pairs of quasi-uniformities
scientific article; zbMATH DE number 7065729 (Why is no real title available?)
Schreier sets in Ramsey theory
An Omitting Types Theorem for first order logic with infinitary relation symbols
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
ω-powers and descriptive set theory
Fixing Zeno gaps
Semantics of constructions. I: The traditional approach
Russell, presupposition, and the vicious-circle principle
Long finite sequences
What languages have Tarski truth definitions?

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4189277)