scientific article; zbMATH DE number 3627123
From MaRDI portal
Publication:4189244
Axiom of ChoiceCalculusModel TheoryNew FoundationsNonstandard AnalysisRestricted Predicate CalculusSet TheoryText Book
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Classical first-order logic (03B10) Model theory (03C99) Axiom of choice and related propositions (03E25) Set theory (03E99) Nonstandard models (03H99)
Cited in
(11)- Systems of combinatory logic related to predicative and ``mildly impredicative fragments of Quine's ``New Foundations
- Automorphisms of models of set theory and extensions of NFU
- A Logic for Ambiguous Description
- The expression zero to the power of zero in historical context
- Euclid after Computer Proof-Checking
- On the strength of a weak variant of the axiom of counting
- Hybrid modal operators for definite descriptions
- On paracomplete versions of Jaśkowski's discussive logic
- When Iota meets lambda
- On temporal references via definite descriptions in first-order monadic logic of order
- Systems of combinatory logic related to Quine's `New Foundations'
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 Q4189244)
