| Publication | Date of Publication | Type |
|---|
On logic and generative AI
Bulletin of the European Association for Theoretical Computer Science EATCS | 2024-08-21 | Paper |
What are kets?
| 2024-02-06 | Paper |
Primal logic of information
| 2023-07-12 | Paper |
scientific article; zbMATH DE number 7699974 (Why is no real title available?)
| 2023-06-22 | Paper |
Software science view on quantum circuit algorithms
Information and Computation | 2023-05-19 | Paper |
Negative probabilities: what are they for? *
Journal of Physics A: Mathematical and Theoretical | 2023-02-10 | Paper |
Functional Thesauri, Classifying Topoi, Unification, and Flatness
Fields of Logic and Computation III | 2022-11-09 | Paper |
Quantum circuits with classical channels and the principle of deferred measurements
Theoretical Computer Science | 2022-05-17 | Paper |
Wigner's quasidistribution and Dirac's kets
| 2022-04-28 | Paper |
Common denominator for value and expectation no-go theorems: extended abstract
| 2021-12-17 | Paper |
Simple circuit simulations of classical and quantum Turing machines
| 2021-11-21 | Paper |
Quantum circuits with classical channels and the principle of deferred measurements
| 2021-07-17 | Paper |
Infinitary Partition Properties of Sums of Selective Ultrafilters
Structure and Randomness in Computability and Set Theory | 2021-06-15 | Paper |
Witness algebra and anyon braiding
Mathematical Structures in Computer Science | 2020-12-08 | Paper |
Negative probabilities: What they are and what they are for
| 2020-09-22 | Paper |
On quantum computation, anyons, and categories
Outstanding Contributions to Logic | 2020-08-06 | Paper |
Introduction to secret-sharing
Dependence Logic | 2020-02-04 | Paper |
Braided distributivity
Theoretical Computer Science | 2020-01-22 | Paper |
Circuit pedantry
| 2020-01-13 | Paper |
scientific article; zbMATH DE number 7150615 (Why is no real title available?)
| 2020-01-13 | Paper |
The rearrangement number
Transactions of the American Mathematical Society | 2019-12-18 | Paper |
Negative probabilities. II. What they are and what they are for
| 2019-12-09 | Paper |
Negative probability
| 2019-07-03 | Paper |
On the rectilinear Steiner problem
| 2019-07-03 | Paper |
scientific article; zbMATH DE number 7075944 (Why is no real title available?)
| 2019-07-03 | Paper |
Surveyable sets
Indagationes Mathematicae. New Series | 2018-10-08 | Paper |
Ordinary interactive small-step algorithms. I
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Ordinary interactive small-step algorithms, II
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Ordinary interactive small-step algorithms, III
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Abstract state machines capture parallel algorithms: correction and extension
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Program termination and well partial orderings
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Abstract state machines capture parallel algorithms
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Inadequacy of computable loop invariants
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
The Rearrangement Number
| 2016-12-22 | Paper |
Partitions and conservativity
Topology and its Applications | 2016-10-24 | Paper |
Symbioses between mathematical logic and computer science
Annals of Pure and Applied Logic | 2016-07-22 | Paper |
A variation on the zero-one law
Information Processing Letters | 2016-06-09 | Paper |
Finite embeddability of sets and ultrafilters
Bulletin of the Polish Academy of Sciences, Mathematics | 2016-02-24 | Paper |
Optimal ancilla-free Pauli+V circuits for axial rotations
Journal of Mathematical Physics | 2016-01-12 | Paper |
THE NEXT BEST THING TO A P-POINT
Journal of Symbolic Logic | 2015-11-09 | Paper |
Composants of the Stone-Čech remainder of the reals
Topology and its Applications | 2015-11-09 | Paper |
Existential Fixed-Point Logic as a Fragment of Second-Order Logic
Fields of Logic and Computation II | 2015-09-22 | Paper |
Persistent queries in the behavioral theory of algorithms
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Ancilla-approximable quantum state transformations
Journal of Mathematical Physics | 2015-05-15 | Paper |
Zero-one laws: thesauri and parametric conditions
Proof, Computation and Agency | 2015-04-17 | Paper |
Abstract Hilbertian deductive systems, infon logic, and Datalog
Information and Computation | 2014-01-16 | Paper |
On strong \(P\)-points
Proceedings of the American Mathematical Society | 2013-07-05 | Paper |
Hilbertian deductive systems, infon logic, and Datalog
| 2013-01-28 | Paper |
Quasi-selective ultrafilters and asymptotic numerosities
Advances in Mathematics | 2012-10-16 | Paper |
Errata to: ``Quasi-varieties, congruences, and generalized Dowling lattices
Journal of Algebraic Combinatorics | 2012-10-16 | Paper |
Developments from Ernst Specker's work in set theory
Elemente der Mathematik | 2012-09-21 | Paper |
scientific article; zbMATH DE number 6011034 (Why is no real title available?)
| 2012-03-02 | Paper |
scientific article; zbMATH DE number 5896194 (Why is no real title available?)
| 2011-05-18 | Paper |
scientific article; zbMATH DE number 5823846 (Why is no real title available?)
| 2010-12-08 | Paper |
Combinatorial Cardinal Characteristics of the Continuum
Handbook of Set Theory | 2010-11-05 | Paper |
Exact exploration and hanging algorithms
Computer Science Logic | 2010-09-03 | Paper |
Existential fixed-point logic, universal quantifiers, and topoi
Fields of Logic and Computation | 2010-09-03 | Paper |
Yuri, logic, and computer science
Fields of Logic and Computation | 2010-09-03 | Paper |
Content-dependent chunking for differential compression, the local maximum approach
Journal of Computer and System Sciences | 2010-05-25 | Paper |
Basic subgroups and freeness, a counterexample.
| 2010-01-13 | Paper |
Homogeneous sets from several ultrafilters
Topology and its Applications | 2009-11-05 | Paper |
scientific article; zbMATH DE number 5605066 (Why is no real title available?)
| 2009-09-19 | Paper |
Zero-one laws: thesauri and parametric conditions.
| 2009-09-19 | Paper |
scientific article; zbMATH DE number 5605119 (Why is no real title available?)
| 2009-09-19 | Paper |
scientific article; zbMATH DE number 5605141 (Why is no real title available?)
| 2009-09-19 | Paper |
scientific article; zbMATH DE number 5604063 (Why is no real title available?)
| 2009-09-15 | Paper |
scientific article; zbMATH DE number 5604097 (Why is no real title available?)
| 2009-09-15 | Paper |
scientific article; zbMATH DE number 5604128 (Why is no real title available?)
| 2009-09-15 | Paper |
scientific article; zbMATH DE number 5587395 (Why is no real title available?)
| 2009-07-27 | Paper |
When are Two Algorithms the Same?
The Bulletin of Symbolic Logic | 2009-06-17 | Paper |
One Useful Logic That Defines Its Own Truth
Lecture Notes in Computer Science | 2009-02-03 | Paper |
The \(C_3\)-lift on expander graphs
| 2008-04-29 | Paper |
Generalizing Hartogs' Trichotomy Theorem
| 2008-04-04 | Paper |
Interactive Small-Step Algorithms I: Axiomatization
Logical Methods in Computer Science | 2008-04-01 | Paper |
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
Logical Methods in Computer Science | 2008-04-01 | Paper |
Why Sets?
Pillars of Computer Science | 2008-03-25 | Paper |
scientific article; zbMATH DE number 5233905 (Why is no real title available?)
| 2008-02-11 | Paper |
Voting rules for infinite sets and Boolean algebras
| 2007-07-30 | Paper |
Inaccessible cardinals without the axiom of choice
Fundamenta Mathematicae | 2007-05-30 | Paper |
Play to Test
Formal Approaches to Software Testing | 2007-05-02 | Paper |
The number of near-coherence classes of ultrafilters is either finite or \(2^{\mathfrak c}\)
| 2007-03-05 | Paper |
scientific article; zbMATH DE number 5064388 (Why is no real title available?)
| 2006-10-16 | Paper |
scientific article; zbMATH DE number 5003594 (Why is no real title available?)
| 2006-02-06 | Paper |
scientific article; zbMATH DE number 2236686 (Why is no real title available?)
| 2005-12-08 | Paper |
Foundations of Genetic Algorithms
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Random orders and gambler's ruin
The Electronic Journal of Combinatorics | 2005-11-01 | Paper |
DIVISIBILITY OF DEDEKIND FINITE SETS
Journal of Mathematical Logic | 2005-09-29 | Paper |
Ultrafilters and Partial Products of Infinite Cyclic Groups
Communications in Algebra | 2005-08-25 | Paper |
Special Families of Sets and Baer-Specker Groups
Communications in Algebra | 2005-08-25 | Paper |
scientific article; zbMATH DE number 2155187 (Why is no real title available?)
| 2005-04-11 | Paper |
scientific article; zbMATH DE number 2155182 (Why is no real title available?)
| 2005-04-11 | Paper |
scientific article; zbMATH DE number 2155189 (Why is no real title available?)
| 2005-04-11 | Paper |
scientific article; zbMATH DE number 2155186 (Why is no real title available?)
| 2005-04-11 | Paper |
Is There a Core Class for Almost Free Groups of Size ℵ1?
Communications in Algebra | 2005-01-14 | Paper |
scientific article; zbMATH DE number 2103276 (Why is no real title available?)
| 2004-09-24 | Paper |
Strong extension axioms and Shelah's zero-one law for choiceless polynomial time
Journal of Symbolic Logic | 2004-03-25 | Paper |
scientific article; zbMATH DE number 2051381 (Why is no real title available?)
| 2004-03-07 | Paper |
On polynomial time computation over unordered structures
Journal of Symbolic Logic | 2003-10-06 | Paper |
Homotopy and homology of finite lattices
The Electronic Journal of Combinatorics | 2003-09-24 | Paper |
FREE SUBGROUPS OF THE BAER-SPECKER GROUP
Communications in Algebra | 2003-08-10 | Paper |
scientific article; zbMATH DE number 1860676 (Why is no real title available?)
| 2003-05-21 | Paper |
Sperner spaces and first‐order logic
Mathematical Logic Quarterly | 2003-04-10 | Paper |
Abstract state machines and computationally complete query languages
Information and Computation | 2003-01-14 | Paper |
scientific article; zbMATH DE number 1827957 (Why is no real title available?)
| 2002-11-13 | Paper |
scientific article; zbMATH DE number 1820018 (Why is no real title available?)
| 2002-10-23 | Paper |
Maximal pure independent sets
| 2002-07-16 | Paper |
Addendum to ``Choiceless polynomial time
Annals of Pure and Applied Logic | 2002-03-25 | Paper |
Specker's theorem for Nöbeling's group
Proceedings of the American Mathematical Society | 2002-03-19 | Paper |
Needed reals and recursion in generic reals
Annals of Pure and Applied Logic | 2002-03-12 | Paper |
scientific article; zbMATH DE number 1670468 (Why is no real title available?)
| 2001-12-03 | Paper |
The Logic of Choice
Journal of Symbolic Logic | 2001-11-23 | Paper |
scientific article; zbMATH DE number 1670467 (Why is no real title available?)
| 2001-11-11 | Paper |
scientific article; zbMATH DE number 1670503 (Why is no real title available?)
| 2001-11-11 | Paper |
scientific article; zbMATH DE number 1670504 (Why is no real title available?)
| 2001-11-11 | Paper |
scientific article; zbMATH DE number 1512073 (Why is no real title available?)
| 2001-09-04 | Paper |
A note on extensions of asymptotic density
Proceedings of the American Mathematical Society | 2001-07-30 | Paper |
A new zero-one law and strong extension axioms
Bulletin of the European Association for Theoretical Computer Science EATCS | 2001-07-18 | Paper |
scientific article; zbMATH DE number 1543044 (Why is no real title available?)
| 2001-02-26 | Paper |
scientific article; zbMATH DE number 1555177 (Why is no real title available?)
| 2001-01-22 | Paper |
scientific article; zbMATH DE number 1361388 (Why is no real title available?)
| 2000-06-13 | Paper |
Choiceless polynomial time
Annals of Pure and Applied Logic | 2000-04-13 | Paper |
scientific article; zbMATH DE number 1361387 (Why is no real title available?)
| 2000-04-11 | Paper |
On the cofinality of ultrapowers
Journal of Symbolic Logic | 2000-02-15 | Paper |
Characteristic and Ehrhart polynomials
Journal of Algebraic Combinatorics | 1998-11-08 | Paper |
scientific article; zbMATH DE number 997666 (Why is no real title available?)
| 1998-07-15 | Paper |
Some semantical aspects of linear logic
Logic Journal of the IGPL | 1998-02-17 | Paper |
Möbius functions of lattices
Advances in Mathematics | 1997-10-06 | Paper |
scientific article; zbMATH DE number 970532 (Why is no real title available?)
| 1997-08-04 | Paper |
scientific article; zbMATH DE number 970533 (Why is no real title available?)
| 1997-07-16 | Paper |
scientific article; zbMATH DE number 956468 (Why is no real title available?)
| 1997-03-11 | Paper |
Quasi-varieties, congruences, and generalized Dowling lattices
Journal of Algebraic Combinatorics | 1997-01-21 | Paper |
An induction principle and pigeonhole principles for K-finite sets
Journal of Symbolic Logic | 1996-10-27 | Paper |
Seven trees in one
Journal of Pure and Applied Algebra | 1996-09-22 | Paper |
On a problem of H. N. Gupta
Geometriae Dedicata | 1996-08-05 | Paper |
scientific article; zbMATH DE number 841173 (Why is no real title available?)
| 1996-05-27 | Paper |
scientific article; zbMATH DE number 852884 (Why is no real title available?)
| 1996-05-05 | Paper |
scientific article; zbMATH DE number 849278 (Why is no real title available?)
| 1996-04-18 | Paper |
Matrix Transformation Is Complete for the Average Case
SIAM Journal on Computing | 1996-01-08 | Paper |
scientific article; zbMATH DE number 797408 (Why is no real title available?)
| 1995-12-18 | Paper |
scientific article; zbMATH DE number 786487 (Why is no real title available?)
| 1995-10-31 | Paper |
Cardinal characteristics and the product of countably many infinite cyclic groups
Journal of Algebra | 1995-07-17 | Paper |
scientific article; zbMATH DE number 735400 (Why is no real title available?)
| 1995-04-05 | Paper |
scientific article; zbMATH DE number 701879 (Why is no real title available?)
| 1995-02-09 | Paper |
On exponentiation of \(G\)-sets
Discrete Mathematics | 1995-02-01 | Paper |
scientific article; zbMATH DE number 697071 (Why is no real title available?)
| 1994-11-29 | Paper |
Partition Theorems for Spaces of Variable Words
Proceedings of the London Mathematical Society | 1994-06-15 | Paper |
scientific article; zbMATH DE number 512968 (Why is no real title available?)
| 1994-03-10 | Paper |
Randomizing Reductions of Search Problems
SIAM Journal on Computing | 1993-12-20 | Paper |
A game semantics for linear logic
Annals of Pure and Applied Logic | 1992-09-27 | Paper |
Complete topoi representing models of set theory
Annals of Pure and Applied Logic | 1992-09-27 | Paper |
Diverse homogeneous sets
Journal of Combinatorial Theory. Series A | 1992-06-28 | Paper |
Infinitary combinatorics and modal logic
Journal of Symbolic Logic | 1990-01-01 | Paper |
Groupwise density and related cardinals
Archive for Mathematical Logic | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4155415 (Why is no real title available?)
| 1990-01-01 | Paper |
Consistency results about filters and the number of inequivalent growth types
Journal of Symbolic Logic | 1989-01-01 | Paper |
Near coherence of filters. III: A simplified consistency proof
Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
Freyd’s models for the independence of the axiom of choice
Memoirs of the American Mathematical Society | 1989-01-01 | Paper |
Ultrafilters with small generating sets
Israel Journal of Mathematics | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4118358 (Why is no real title available?)
| 1989-01-01 | Paper |
On matijasevitch's nontraditional approach to search problems
Information Processing Letters | 1989-01-01 | Paper |
Classifying topoi and the axiom of infinity
Algebra Universalis | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4120169 (Why is no real title available?)
| 1989-01-01 | Paper |
Selctive ultrafilters and homogeneity
Annals of Pure and Applied Logic | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4197979 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4114627 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4031668 (Why is no real title available?)
| 1987-01-01 | Paper |
On Strongly Summable Ultrafilters and Union Ultrafilters
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4063093 (Why is no real title available?)
| 1987-01-01 | Paper |
Near Coherence of Filters. II: Applications to Operator Ideals, the Stone-Cech Remainder of a Half-Line, Order Ideals of Sequences, and Slenderness of Groups
Transactions of the American Mathematical Society | 1987-01-01 | Paper |
There may be simple \(P_{\aleph _ 1}\)- and \(P_{\aleph _ 2}\)-points and the Rudin-Keisler ordering may be downward directed
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4068863 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4055578 (Why is no real title available?)
| 1987-01-01 | Paper |
Prime ideals yield almost maximal ideals
Fundamenta Mathematicae | 1987-01-01 | Paper |
Near coherence of filters. I: Cofinal equivalence of models of arithmetic
Notre Dame Journal of Formal Logic | 1986-01-01 | Paper |
Henkin quantifiers and complete problems
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
Functions on universal algebras
Journal of Pure and Applied Algebra | 1986-01-01 | Paper |
Bijective proofs of two broken circuit theorems
Journal of Graph Theory | 1986-01-01 | Paper |
Free subgroups of the homeomorphism group of the reals
Topology and its Applications | 1986-01-01 | Paper |
On the Egoroff Property of Pointwise Convergent Sequences of Functions
| 1986-01-01 | Paper |
Small decidable sheaves
Journal of Symbolic Logic | 1986-01-01 | Paper |
A zero-one law for logic with a fixed-point operator
Information and Control | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3914310 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3972885 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3877384 (Why is no real title available?)
| 1984-01-01 | Paper |
Exact functors, local connectedness and measurable cardinals
Rendiconti del Seminario Matematico e Fisico di Milano | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3887675 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3868613 (Why is no real title available?)
| 1984-01-01 | Paper |
Equivalence Relations, Invariants, and Normal Forms
SIAM Journal on Computing | 1984-01-01 | Paper |
There are not exactly five objects
Journal of Symbolic Logic | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3887672 (Why is no real title available?)
| 1984-01-01 | Paper |
Classifying topoi and finite forcing
Journal of Pure and Applied Algebra | 1983-01-01 | Paper |
Cohomology Detects Failures of the Axiom of Choice
| 1983-01-01 | Paper |
Words, free algebras, and coequalizers
Fundamenta Mathematicae | 1983-01-01 | Paper |
Boolean classifying topoi
Journal of Pure and Applied Algebra | 1983-01-01 | Paper |
On the unique satisfiability problem
Information and Control | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3797789 (Why is no real title available?)
| 1982-01-01 | Paper |
A Partition Theorem For Perfect Sets
| 1981-01-01 | Paper |
Degree Sequences of Infinite Graphs
Journal of the London Mathematical Society | 1981-01-01 | Paper |
Paley graphs satisfy all first-order adjacency axioms
Journal of Graph Theory | 1981-01-01 | Paper |
The model of set theory generated by countably many generic reals
Journal of Symbolic Logic | 1981-01-01 | Paper |
Some initial segments of the Rudin-Keisler ordering
Journal of Symbolic Logic | 1981-01-01 | Paper |
Conservative extensions of models of arithmetic
Archiv für Mathematische Logik und Grundlagenforschung | 1980-01-01 | Paper |
Which trees are link graphs?
Journal of Combinatorial Theory. Series B | 1980-01-01 | Paper |
Injectivity, Projectivity, and the Axiom of Choice
| 1979-01-01 | Paper |
Natural Endomorphisms of Burnside Rings
| 1979-01-01 | Paper |
Properties of almost all graphs and complexes
Journal of Graph Theory | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3685475 (Why is no real title available?)
| 1978-01-01 | Paper |
Graphs with unique maximal clumpings
Journal of Graph Theory | 1978-01-01 | Paper |
Ramsey's theorem in the hierarchy of choice principles
Journal of Symbolic Logic | 1978-01-01 | Paper |
A Characterization and Sum Decomposition for Operator Ideals
| 1978-01-01 | Paper |
Amalgamation of nonstandard models of arithmetic
Journal of Symbolic Logic | 1978-01-01 | Paper |
End Extensions, Conservative Extensions, and the Rudin-Frolik Ordering
Transactions of the American Mathematical Society | 1977-01-01 | Paper |
Two closed categories of filters
Fundamenta Mathematicae | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3568694 (Why is no real title available?)
| 1977-01-01 | Paper |
Exact functors and measurable cardinals
Pacific Journal of Mathematics | 1976-01-01 | Paper |
Partial Mielnik Spaces and Characterization of Uniformly Convex Spaces
| 1976-01-01 | Paper |
A Forcing Proof of the Kechris-Moschovakis Constructibility Theorem
| 1975-01-01 | Paper |
Cores of Π11 sets of reals
Journal of Symbolic Logic | 1975-01-01 | Paper |
Equivalence of Two Strong Forms of Determinacy
| 1975-01-01 | Paper |
Ultrafilter Mappings and Their Dedekind Cuts
| 1974-01-01 | Paper |
An application of universal algebra in group theory
Michigan Mathematical Journal | 1974-01-01 | Paper |
On certain types and models for arithmetic
Journal of Symbolic Logic | 1974-01-01 | Paper |
An axiomatic approach to rank in model theory
Annals of Mathematical Logic | 1974-01-01 | Paper |
The Rudin-Keisler Ordering of P-Points
Transactions of the American Mathematical Society | 1973-01-01 | Paper |
Determinateness and Continuity
| 1973-01-01 | Paper |
A natural theory without a prime model
Algebra Universalis | 1973-01-01 | Paper |
Complexity of winning strategies
Discrete Mathematics | 1972-01-01 | Paper |
Degrees of indeterminacy of games
Fundamenta Mathematicae | 1972-01-01 | Paper |
The intersection of nonstandard models of arithmetic
Journal of Symbolic Logic | 1972-01-01 | Paper |
Theories without countable models
Journal of Symbolic Logic | 1972-01-01 | Paper |
On the inadequacy of inner models
Journal of Symbolic Logic | 1972-01-01 | Paper |
Weak Partition Relations
| 1972-01-01 | Paper |
A Note on Idempotents in Banach Algebras
The American Mathematical Monthly | 1971-01-01 | Paper |
scientific article; zbMATH DE number 3358687 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3329091 (Why is no real title available?)
| 1970-01-01 | Paper |
On the Location of Singularities of Analytic Functions
The American Mathematical Monthly | 1970-01-01 | Paper |
On Certain Classes of Associative Rings
The American Mathematical Monthly | 1968-01-01 | Paper |
Cardinal Well-foundedness and Choice
| N/A | Paper |
