scientific article; zbMATH DE number 3627123
From MaRDI portal
Publication:4189244
zbMath0404.03001MaRDI QIDQ4189244
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
New FoundationsAxiom of ChoiceSet TheoryNonstandard AnalysisCalculusModel TheoryText BookRestricted Predicate Calculus
Model theory (03C99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Axiom of choice and related propositions (03E25) Set theory (03E99) Nonstandard models (03H99)
Related Items (7)
A expressão Zero elevado a Zero em Contexto Histórico ⋮ Euclid after Computer Proof-Checking ⋮ On the strength of a weak variant of the axiom of counting ⋮ A Logic for Ambiguous Description ⋮ Automorphisms of models of set theory and extensions of NFU ⋮ Systems of combinatory logic related to predicative and ``mildly impredicative fragments of Quine's ``New Foundations ⋮ Systems of combinatory logic related to Quine's `New Foundations'
This page was built for publication:
