scientific article; zbMATH DE number 3627123

From MaRDI portal

Revision as of 12:42, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4189244

Jump to:navigation, search

zbMath0404.03001MaRDI QIDQ4189244

J. Barkley Rosser

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

New Foundations Axiom of Choice Set Theory Nonstandard Analysis Calculus Model Theory Text Book Restricted Predicate Calculus

Mathematics Subject Classification ID

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:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4189244&oldid=18027121"