Wszystkie pola: arithmetic models

Skocz do pozycji: 1.

Tytuł:: Note on arithmetic models for consistent formulae of the predicate calculus
Autorzy:: Kreisel, G.
Data publikacji:: 1950
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Intuitionistic Models of Arithmetic
Autorzy:: Połacik, T.
Data publikacji:: 1999
Słowa kluczowe:: modele arytmetyki
model Kripkego
logika modalna
arithmetic models
Kripke models
modal logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: On elementary cuts in models of arithmetic
Autorzy:: Kotlarski, Henryk
Data publikacji:: 1983
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: On expandability of models of arithmetic and set theory to models of weak second-order theories
Autorzy:: Kaufmann, Matt
Data publikacji:: 1984
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Automorphisms of models of bounded arithmetic
Autorzy:: Enayat, Ali (1959- )
Data publikacji:: 2006
Tematy:: Teoria grup; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Models of arithmetic and the 1-3-1 lattice
Autorzy:: Paris, J.
Data publikacji:: 1977
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: On models of arithmetic having non-modular substructure lattices
Autorzy:: Wilkie, A.
Data publikacji:: 1977
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Regular cuts in models of bounded arithmetic
Autorzy:: Moniri, Morteza
Współwytwórcy:: Sajjadi, Hosein S.
Data publikacji:: 2013
Tematy:: Arytmetyka
Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: The structure of models of Peano arithmetic
Autorzy:: Kach, Asher M.
Data publikacji:: 2012
Tematy:: Schmerl, James H. (1940- ). Structure of models of Peano arithmetic
Kossak, Roman (1953- ). Structure of models of Peano arithmetic; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: On extending automorphisms of models of Peano Arithmetic
Autorzy:: Kossak, Roman
Kotlarski, Henryk
Data publikacji:: 1996
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: More on extending automorphisms of models of Peano Arithmetic
Autorzy:: Kossak, Roman (1953- )
Współwytwórcy:: Kotlarski, Henryk
Data publikacji:: 2008
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: On embedding models of arithmetic of cardinality [alef]1 into reduced powers
Autorzy:: Kennedy, Juliette (1955- )
Współwytwórcy:: Shelah, Saharon (1945- )
Data publikacji:: 2003
Tematy:: Arytmetyka
Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: On elementary cuts in recursively saturated models of Peano Arithmetic
Autorzy:: Kotlarski, Henryk
Data publikacji:: 1984
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic
Autorzy:: Bigorajska, Teresa
Kotlarski, Henryk
Schmerl, James
Data publikacji:: 1998
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Bulletin de lʾAcadémie Polonaise. Série des Sciences Mathématiques
Série des Sciences Mathématiques
Bulletin of the Polish Academy of Sciences
On elementary cuts in models of arithmetic
Autorzy:: Kotlarski, Henryk
Współwytwórcy:: Polska Akademia Nauk.
Państwowe Wydawnictwo Naukowe (1951–1992)
Data publikacji:: 1981
Wydawca:: Państwowe Wydawnictwo Naukowe
Słowa kluczowe:: Matematyka -- czasopisma. [KABA]; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Models of second order arithmetic with definable Skolem functions
Autorzy:: Mostowski, Andrzej
Data publikacji:: 1972
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: ω-models of second order arithmetic and admissible sets
Autorzy:: Marek, W.
Data publikacji:: 1978
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Computing with words with the use of inverse RDM models of membership functions
Autorzy:: Piegat, A.
Pluciński, M.
Data publikacji:: 2015
Słowa kluczowe:: computing with words
fuzzy arithmetic
RDM fuzzy arithmetic
granular computing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Computing with words with the use of inverse RDM models of membership functions
Autorzy:: Piegat, A.
Pluciński, M.
Data publikacji:: 2015
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: computing with words
fuzzy arithmetic
RDM fuzzy arithmetic
granular computing; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Stable sets, a characterization of $β_2$-models of full second order arithmetic and some related facts
Autorzy:: Marek, W.
Data publikacji:: 1974
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "arithmetic models" wg kryterium: Wszystkie pola