Second-Order Logic and Foundations of Mathematics (Q4328795): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q56228044, #quickstatements; #temporary_batch_1706814575051
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2171561809 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Absolute logics and L∞ω / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4220572 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The spectrum problem. II: Totally transcendental and infinite depth / rank
 
Normal rank
Property / cites work
 
Property / cites work: The spectrum problem. I: \(\aleph_{\epsilon}\)-saturated models, the main gap / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4001345 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5691485 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Completeness in the theory of types / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 00:18, 4 June 2024

scientific article; zbMATH DE number 1735247
Language Label Description Also known as
English
Second-Order Logic and Foundations of Mathematics
scientific article; zbMATH DE number 1735247

    Statements

    Second-Order Logic and Foundations of Mathematics (English)
    0 references
    0 references
    0 references
    29 April 2002
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    foundations of mathematics
    0 references
    Gödel numbers
    0 references
    Henkin quantifier
    0 references
    Henkin semantics
    0 references
    first-order set theory
    0 references
    second-order logic
    0 references
    0 references
    0 references