scientific article

Publication date: 1979

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

algorithms quantification theory ultrapowers NBG set theory first-order arithmetic non-standard analysis elementary extensions effective computability formal number theory Goedel's completeness theorem

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Computability and recursion theory (03Dxx) Model theory (03Cxx) Set theory (03Exx) Nonstandard models (03Hxx)

Related Items

A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic ⋮ Some quantifiers require two-predicate scopes ⋮ Algebraic study of Sette's maximal paraconsistent logic ⋮ An alternative construction of Conway's ordered field No ⋮ Herbrand semantics, the potential infinite, and ontology-free logic ⋮ A generalised model of judgment aggregation ⋮ A set-theoretic translation method for polymodal logics ⋮ Mathematical properties common in all mechanism models of chemical reactions ⋮ Errata to ``An alternative construction of Conway's ordered field No. ⋮ A finitely axiomatized formalization of predicate calculus with equality ⋮ Paraconsistent intelligent systems of computer logics ⋮ Control problems in a temporal logic framework ⋮ On diffeomorphic mappings of one nondegenerate parallelepiped onto another ⋮ A logical expression of reasoning ⋮ The decision problem for effective procedures ⋮ On the recognition of the tautological nature of propositional formulas ⋮ Closed world assumptions having precedence in predicates ⋮ Isotypeness of models and knowledge bases equivalence ⋮ AN APPLICATION OF FIRST-ORDER LOGIC TO THE STUDY OF RECOGNIZABLE LANGUAGES ⋮ Ontologically neutral logic ⋮ Internal set theory: A new approach to nonstandard analysis ⋮ Using forcing to prove completeness of resolution and paramodulation ⋮ A comment on the joint embedding property ⋮ Belief revision in the service of scientific discovery ⋮ Carnapian extensions of S5