scientific article; zbMATH DE number 3248792
From MaRDI portal
Publication:5537599
zbMATH Open0155.01102MaRDI QIDQ5537599FDOQ5537599
Authors: Joseph R. Shoenfield 
Publication date: 1967
Title of this publication is not available (Why is that?)
Cited In (only showing first 100 items - show all)
- Locally finite languages
- Fuzzy inference in a formal theory of semantic equivalence
- On interpretation of inconsistent theories
- In Praise of Numerical Computation
- Complete axiomatizations of some quotient term algebras
- Taking formalism seriously
- Towards a trustworthy semantics-based language framework via proof generation
- Specifications, models, and implementations of data abstractions
- Query evaluation in probabilistic relational databases
- A non-reified temporal logic
- The closure of monadic NP
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
- Incorporating equality into logic programming via surface deduction
- Fuzzy logic programming
- Logic, sets, and mathematics
- Complexity of Gödel’s T in λ-Formulation
- The Theory of Countable Analytical Sets
- Fuzzy control from the logical point of view
- A functional interpretation for nonstandard arithmetic
- Classifying circular cellular automata
- Degrees of Undecidability in Term Rewriting
- On the completeness and decidability of duration calculus with iteration
- Embedding and coding below a 1-generic degree
- An application of Tarski's principle to absolute Galois groups of function fields
- Lectures on the model theory of valued fields
- Injecting uniformities into Peano arithmetic
- Some notes on truths and comprehension
- Structured algebraic specifications: A kernel language
- Glymour and Quine on theoretical equivalence
- An infinite version of Arrow's theorem in the effective setting
- Axioms for a theory of semantic equivalence
- On universal Horn classes categorical in some infinite power
- Non-deterministic data types: Models and implementations
- The undecidability of pseudo real closed fields
- On effectively computable realizations of choice functions
- A simple dynamic logic
- Precipitous ideals and \(\sum^1_4\) sets
- Decidability in elementary analysis. I
- Controlled query evaluation with open queries for a decidable relational submodel
- Definability and decidability in infinite algebraic extensions
- Well-structured mathematical logic
- On the proof-theory of two formalisations of modal first-order logic
- Structure and transcendence degree of \(\eta_{\alpha +1}\)-fields and ultrapowers of fields
- A constructive valuation semantics for classical logic
- Title not available (Why is that?)
- Prefix and projection onto state in duration calculus
- Hoare's logic for nondeterministic regular programs: A nonstandard approach
- Partially Conservative Extensions of Arithmetic
- Levels of undecidability in rewriting
- Embedding and unsolvability theorems for modular lattices
- Extracting Herbrand disjunctions by functional interpretation
- Hierarchical program specification and verification - a many-sorted logical approach
- Title not available (Why is that?)
- On \(\aleph_ 0\)-categorical class two groups
- Proving program inclusion using Hoare's logic
- The comparison of the expressive power of first-order dynamic logics
- First order logic with empty structures
- Title not available (Why is that?)
- Title not available (Why is that?)
- Δ 2 0 -Mengen
- Abstract deduction and inferential models for type theory
- On Measurability and Regularity
- Terms in Cylindric Algebras
- On some classes of interpretations
- Krivine's intuitionistic proof of classical completeness (for countable languages)
- A view of computability on term algebras
- Conditional logic of actions and causation
- The jump operation for structure degrees
- Ambiguity in omega context free languages
- Title not available (Why is that?)
- Finiteness is mu-ineffable
- Nonstandardness and the bounded functional interpretation
- On the axiom of union
- A structural operational semantics for an Edison like language. II
- On the desirability of mechanizing calculational proofs
- Crypt-equivalent algebraic specifications
- Super-exponentials nonprimitive recursive, but rudimentary
- Title not available (Why is that?)
- Recursive assertions and parallel programs
- Remarks on Herbrand normal forms and Herbrand realizations
- One Useful Logic That Defines Its Own Truth
- Borel preference orders in markets with a continuum of traders
- A logical theory of robot problem solving
- Some general incompleteness results for partial correctness logics
- Geometric construction by assembling solved subfigures
- On expandability of models of Peano arithmetic. I
- Real-valued multisets and fuzzy sets
- Varieties of Pluralism and Objectivity in Mathematics
- Mathematical quantum theory. I: Random ultrafilters as hidden variables
- Left termination turned into termination
- Proof theory in the abstract
- Undecidability and Definability for the Theory of Global Fields
- On the complexity of curve fitting algorithms
- Equivalence of recursive specifications in process algebra
- On the duality of abduction and model generation in a framework for model generation with equality
- From mathesis universalis to provability, computability, and constructivity
- The abstract type of the real numbers
- Completeness problems in classes of computable named functions
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
- A logical expression of reasoning
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 Q5537599)
