A system of axiomatic set theory. Part V. General set theory (continued)

No abstract is available for this paper.

• Publication year

  1943

• Venue

  Journal of Symbolic Logic (JSL)

• Publication date

  1943-12-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.2307/2271051
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A remark on method in transfinite algebra

  1935cited by this paper

• A Universal Algebraic Set Theory Built on Mereology with Applications

  2022cites this paper
• On the Axiom of Canonicity

  2022cites this paper
• Ontology, Set Theory, and the Paraphrase Challenge

  2021cites this paper
• Analytic Methods in Rhoades Contractions Theory

  2021cites this paper
• Nadler-Liu Functional Contractions in Metric Spaces

  2020cites this paper
• XV—On Consistency and Existence in Mathematics

  2020cites this paper
• Ekeland Variational Principles in 2-Local Branciari Metric Spaces

  2020cites this paper
• Meir–Keeler Sequential Contractions and Applications

  2019cites this paper
• Large model constructions for second-order ZF in dependent type theory

  2018cites this paper
• Set theory and the analyst

  2018cites this paper
• Infinite Populations, Choice and Determinacy

  2018cites this paper
• A uniform geometrical presentation of a quantum system experiment

  2018cites this paper
• Interpretation and Truth in Set Theory

  2018cites this paper
• Rational Contractions and Coupled Fixed Points

  2018cites this paper
• Well-Ordered Model Universes.

  2018cites this paper
• Nondiscrete Lassonde-Revalski Principle and Dependent Choice

  2018cites this paper
• Possible Patterns

  2018cites this paper
• Diagonal Fixed Points of Geometric Contractions

  2018cites this paper
• An introduction to univalent foundations for mathematicians

  2017cites this paper
• Bernays and the Completeness Theorem

  2017influential citation
• Forms of Choice

  2017cites this paper
• Metrical Pareto Efficiency and Monotone EVP

  2017cites this paper
• Conceivability, Plural Quantification, and Haecceitism

  2017cites this paper
• Addition-Like Variational Principles in Asymmetric Spaces

  2016cites this paper
• Contraction Maps in Pseudometric Structures

  2016cites this paper
• Unifying some notions of infinity in ZC and ZF

  2016cites this paper
• Ultrametric fixed points in reduced axiomatic systems

  2015cites this paper
• Function Variational Principles and Normed Minimizers

  2015cites this paper
• Maximal and Variational Principles in Vector Spaces

  2015cites this paper
• Contraction Maps in Ordered Metrical Structures

  2014cites this paper
• Sequential Maximality Principles

  2014cites this paper
• The Scope of Gödel’s First Incompleteness Theorem

  2014cites this paper
• Variational Principles in Gauge Spaces

  2014cites this paper
• Russell's Paradox and the Theory of Classes in The Principles of Mathematics

  2013cites this paper
• Being Something: Prospects for a Property-Based Approach to Predicative Quantification

  2013cites this paper
• Gauge Brezis-Browder Principles and Dependent Choice

  2013cites this paper
• The Axiom of Choice

  2012cites this paper
• Satisfaction relations for proper classes: Applications in logic and set theory

  2012cites this paper
• Set Theory from Cantor to Cohen

  2012cites this paper
• A scalable module system

  2011cites this paper
• Almost Metric Versions of Zhong's Variational Principle

  2010cites this paper
• Foreword: Introduction

  2010cites this paper
• Unordered pairs in the set theory of Bourbaki 1949

  2010cites this paper
• Representing Model Theory in a Type-Theoretical Logical Framework

  2009cites this paper
• Symmetry as a Criterion for Comprehension Motivating Quine’s ‘New Foundations’

  2008cites this paper
• On Relativizations of the P =? NP Question for Several Structures

  2008cites this paper
• Why Sets?

  2008influential citation
• Mathematical foundations of consciousness

  2008cites this paper
• ω-Models of finite set theory

  2008cites this paper
• Classical Logic's Coming of Age

  2007cites this paper
• On the origins of Bisimulation, Coinduction, and Fixed Points

  2007cites this paper
• An infinite color analogue of Rado's theorem

  2007cites this paper
• Gödel and Set Theory

  2007cites this paper
• Mathematical Thought and Its Objects: Sources and Copyright Acknowledgments

  2007cites this paper
• Axiom of choice and chromatic number: examples on the plane

  2004cites this paper
• On Modal μ-Calculus and Non-Well-Founded Set Theory

  2004cites this paper
• T L  C S C W S?

  2004influential citation
• The concept of strong and weak virtual reality

  2003cites this paper
• The empty set, the singleton, and the ordered pair

  2003cites this paper
• Hilbert on the Infinite: The Role of Set Theory in the Evolution of Hilbert's Thought

  2002cites this paper
• The Lawson Topology on Quasicontinuous Domains

  2001cites this paper
• The Road to Modern Logic—An Interpretation

  2001cites this paper
• Models of Second-Order Zermelo Set Theory

  1999cites this paper
• The Contribution of Polish Logicians to Recursion Theory

  1998cites this paper
• The Mathematical Import of Zermelo's Well-Ordering Theorem

  1997cites this paper
• Modal Deduction in Second-Order Logic and Set Theory - I

  1997cites this paper
• The Mathematical Development of Set Theory from Cantor to Cohen

  1996cites this paper
• Embeddings of Z-Domains in Cubes

  1995cites this paper
• Construction of homomorphisms of $M$-continuous lattices

  1995cites this paper
• La Logique Mathématique en sa jeunesse

  1994cites this paper
• A mechanization of sorted higher-order logic based on the resolution principle

  1994cites this paper
• Choices of Convenient Sets

  1994cites this paper
• An Axiomatic Theory for Partial Functions

  1993cites this paper
• A Semantic Characterization of the Well-Typed Formulae of gamma-Calculus

  1993cites this paper
• Discriminator Varieties and Symbolic Computation

  1992cites this paper
• Computation, Logic, Philosophy: A Collection of Essays

  1991cites this paper
• Die Entwicklung der axiomatischen Mengenlehre

  1990cites this paper
• Categories and functors which characterize chemical reactions, their kinetics and mechanism

  1988cites this paper
• Developing arithmetic in set theory without infinity: some historical remarks

  1987cites this paper
• Entity and antinomy in Tibetan bsdus grwa logic (part I)

  1985cites this paper
• Entity and antinomy in Tibetan bsdus grwa logic

  1985cites this paper
• On Various Degrees of Constructivism

  1979cites this paper
• Some Impredicative Definitions in the Axiomatic Set-Theory

  1979cites this paper
• On the independence of definitions of finiteness in a system of logic

  1979cites this paper
• The approaches to set theory

  1979cites this paper
• Thirty Years of Foundational Studies Lectures on the Development of Mathematical Logic and the Study of the Foundations of Mathematics in 1930–1964

  1979cites this paper
• A finite approximation to models of set theory

  1975cites this paper
• Non-extensional type-free theories of partial operations and classifications, I

  1975cites this paper
• Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen

  1974cites this paper
• Predicative Expansions of Axiomatic Theories

  1974cites this paper
• Six impossible rings

  1974cites this paper
• Some topics in set theory

  1973cites this paper
• Elimination of bound variables in logic with an arbitrary quantifier

  1973cites this paper
• Transitivity, supertransitivity and induction

  1972influential citation
• An axiomatic set theory

  1970cites this paper
• Definition eines (relativ vollständigen) formalen Systems konstruktiver Arithmetik

  1969cites this paper
• Die Inklusionsrelation zwischen Universa und ein abgeschwächtes Fundierungsaxiom

  1969cites this paper
• A Model for Urelements

  1968cites this paper
• Graphes Extensionnels et Axiome D'universalité

  1968cites this paper
• Some Data for ATP

  1967cites this paper